<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<meta name="generator" content="Doxygen 1.8.9.1"/>
<title>opennars: aruntime/src/main/java/nars/language/CompoundTerm.java Source File</title>
<link href="../../tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="../../jquery.js"></script>
<script type="text/javascript" src="../../dynsections.js"></script>
<link href="../../navtree.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="../../resize.js"></script>
<script type="text/javascript" src="../../navtreedata.js"></script>
<script type="text/javascript" src="../../navtree.js"></script>
<script type="text/javascript">
  $(document).ready(initResizable);
  $(window).load(resizeHeight);
</script>
<link href="../../search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="../../search/searchdata.js"></script>
<script type="text/javascript" src="../../search/search.js"></script>
<script type="text/javascript">
  $(document).ready(function() { init_search(); });
</script>
<link href="../../doxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
 <tbody>
 <tr style="height: 56px;">
  <td style="padding-left: 0.5em;">
   <div id="projectname">opennars
   &#160;<span id="projectnumber">1.5.5</span>
   </div>
   <div id="projectbrief">1.5-ish</div>
  </td>
 </tr>
 </tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.8.9.1 -->
<script type="text/javascript">
var searchBox = new SearchBox("searchBox", "../../search",false,'Search');
</script>
  <div id="navrow1" class="tabs">
    <ul class="tablist">
      <li><a href="../../index.html"><span>Main&#160;Page</span></a></li>
      <li><a href="../../pages.html"><span>Related&#160;Pages</span></a></li>
      <li><a href="../../namespaces.html"><span>Packages</span></a></li>
      <li><a href="../../annotated.html"><span>Classes</span></a></li>
      <li class="current"><a href="../../files.html"><span>Files</span></a></li>
      <li>
        <div id="MSearchBox" class="MSearchBoxInactive">
        <span class="left">
          <img id="MSearchSelect" src="../../search/mag_sel.png"
               onmouseover="return searchBox.OnSearchSelectShow()"
               onmouseout="return searchBox.OnSearchSelectHide()"
               alt=""/>
          <input type="text" id="MSearchField" value="Search" accesskey="S"
               onfocus="searchBox.OnSearchFieldFocus(true)" 
               onblur="searchBox.OnSearchFieldFocus(false)" 
               onkeyup="searchBox.OnSearchFieldChange(event)"/>
          </span><span class="right">
            <a id="MSearchClose" href="javascript:searchBox.CloseResultsWindow()"><img id="MSearchCloseImg" border="0" src="../../search/close.png" alt=""/></a>
          </span>
        </div>
      </li>
    </ul>
  </div>
  <div id="navrow2" class="tabs2">
    <ul class="tablist">
      <li><a href="../../files.html"><span>File&#160;List</span></a></li>
    </ul>
  </div>
</div><!-- top -->
<div id="side-nav" class="ui-resizable side-nav-resizable">
  <div id="nav-tree">
    <div id="nav-tree-contents">
      <div id="nav-sync" class="sync"></div>
    </div>
  </div>
  <div id="splitbar" style="-moz-user-select:none;" 
       class="ui-resizable-handle">
  </div>
</div>
<script type="text/javascript">
$(document).ready(function(){initNavTree('d5/d0e/CompoundTerm_8java_source.html','../../');});
</script>
<div id="doc-content">
<!-- window showing the filter options -->
<div id="MSearchSelectWindow"
     onmouseover="return searchBox.OnSearchSelectShow()"
     onmouseout="return searchBox.OnSearchSelectHide()"
     onkeydown="return searchBox.OnSearchSelectKey(event)">
</div>

<!-- iframe showing the search results (closed by default) -->
<div id="MSearchResultsWindow">
<iframe src="javascript:void(0)" frameborder="0" 
        name="MSearchResults" id="MSearchResults">
</iframe>
</div>

<div class="header">
  <div class="headertitle">
<div class="title">CompoundTerm.java</div>  </div>
</div><!--header-->
<div class="contents">
<a href="../../d5/d0e/CompoundTerm_8java.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;<span class="comment">/*</span></div>
<div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="comment"> * CompoundTerm.java</span></div>
<div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="comment"> *</span></div>
<div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment"> * Copyright (C) 2008  Pei Wang</span></div>
<div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment"> *</span></div>
<div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;<span class="comment"> * This file is part of Open-NARS.</span></div>
<div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;<span class="comment"> *</span></div>
<div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="comment"> * Open-NARS is free software; you can redistribute it and/or modify</span></div>
<div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="comment"> * it under the terms of the GNU General Public License as published by</span></div>
<div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="comment"> * the Free Software Foundation, either version 2 of the License, or</span></div>
<div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;<span class="comment"> * (at your option) any later version.</span></div>
<div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;<span class="comment"> *</span></div>
<div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;<span class="comment"> * Open-NARS is distributed in the hope that it will be useful,</span></div>
<div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<span class="comment"> * but WITHOUT ANY WARRANTY; without even the implied warranty of</span></div>
<div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;<span class="comment"> * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the</span></div>
<div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="comment"> * GNU General Public License for more details.</span></div>
<div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;<span class="comment"> *</span></div>
<div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;<span class="comment"> * You should have received a copy of the GNU General Public License</span></div>
<div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;<span class="comment"> * along with Open-NARS.  If not, see &lt;http://www.gnu.org/licenses/&gt;.</span></div>
<div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;<span class="comment"> */</span></div>
<div class="line"><a name="l00021"></a><span class="lineno"><a class="line" href="../../d0/d72/namespacenars_1_1language.html">   21</a></span>&#160;<span class="keyword">package </span>nars.language;</div>
<div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;</div>
<div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;<span class="keyword">import</span> java.util.*;</div>
<div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;</div>
<div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;<span class="keyword">import</span> <a class="code" href="../../d7/d81/namespacenars.html">nars</a>.<a class="code" href="../../db/dec/namespacenars_1_1entity.html">entity</a>.*;</div>
<div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;<span class="keyword">import</span> <a class="code" href="../../d7/d81/namespacenars.html">nars</a>.<a class="code" href="../../de/ddc/namespacenars_1_1storage.html">storage</a>.*;</div>
<div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;<span class="keyword">import</span> <a class="code" href="../../d7/d81/namespacenars.html">nars</a>.<a class="code" href="../../db/d64/namespacenars_1_1io.html">io</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>;</div>
<div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;</div>
<div class="line"><a name="l00036"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">   36</a></span>&#160;<span class="keyword">public</span> <span class="keyword">abstract</span> <span class="keyword">class </span><a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">CompoundTerm</a> <span class="keyword">extends</span> <a class="code" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a> {</div>
<div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;</div>
<div class="line"><a name="l00039"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ad340d3bb55dcfcdf237fe4ee225d3cbb.html#ad340d3bb55dcfcdf237fe4ee225d3cbb">   39</a></span>&#160;    <span class="keyword">protected</span> ArrayList&lt;Term&gt; <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ad340d3bb55dcfcdf237fe4ee225d3cbb.html#ad340d3bb55dcfcdf237fe4ee225d3cbb">components</a>;</div>
<div class="line"><a name="l00041"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a5e337444f74e870264191c7fbc13cd6d.html#a5e337444f74e870264191c7fbc13cd6d">   41</a></span>&#160;    <span class="keyword">protected</span> <span class="keywordtype">short</span> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a5e337444f74e870264191c7fbc13cd6d.html#a5e337444f74e870264191c7fbc13cd6d">complexity</a>;</div>
<div class="line"><a name="l00043"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ae9f70513c94a1f96f09b2734cff15f63.html#ae9f70513c94a1f96f09b2734cff15f63">   43</a></span>&#160;    <span class="keyword">protected</span> <span class="keywordtype">boolean</span> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_aee0ef6fd533b58caf22bee2a98eef67d.html#aee0ef6fd533b58caf22bee2a98eef67d">isConstant</a> = <span class="keyword">true</span>;</div>
<div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;</div>
<div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;    <span class="comment">/* ----- abstract methods to be implemented in subclasses ----- */</span></div>
<div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;    <span class="keyword">public</span> <span class="keyword">abstract</span> String <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a786848bcf438b17b9aa566b9b0c04e5f.html#a786848bcf438b17b9aa566b9b0c04e5f">operator</a>();</div>
<div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;</div>
<div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;    @Override</div>
<div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;    <span class="keyword">public</span> <span class="keyword">abstract</span> Object <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a963e8aef1163f4ed8c364b5e448deaff.html#a963e8aef1163f4ed8c364b5e448deaff">clone</a>();</div>
<div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;</div>
<div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;    <span class="comment">/* ----- object builders, called from subclasses ----- */</span></div>
<div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;</div>
<div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a4800a7c8dd9043a2bffecd669aa4cfe2.html#a4800a7c8dd9043a2bffecd669aa4cfe2">   68</a></span>&#160;    <span class="keyword">protected</span> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a4800a7c8dd9043a2bffecd669aa4cfe2.html#a4800a7c8dd9043a2bffecd669aa4cfe2">CompoundTerm</a>(String <a class="code" href="../../d8/db8/classnars_1_1language_1_1Term_a059f44677d4580c0eef198dfba957b6b.html#a059f44677d4580c0eef198dfba957b6b">name</a>, ArrayList&lt;Term&gt; components, <span class="keywordtype">boolean</span> isConstant, <span class="keywordtype">short</span> complexity) {</div>
<div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;        super(name);</div>
<div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;        this.components = <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ad340d3bb55dcfcdf237fe4ee225d3cbb.html#ad340d3bb55dcfcdf237fe4ee225d3cbb">components</a>;</div>
<div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;        this.isConstant = <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_aee0ef6fd533b58caf22bee2a98eef67d.html#aee0ef6fd533b58caf22bee2a98eef67d">isConstant</a>;</div>
<div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;        this.complexity = <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a5e337444f74e870264191c7fbc13cd6d.html#a5e337444f74e870264191c7fbc13cd6d">complexity</a>;</div>
<div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;    }</div>
<div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;</div>
<div class="line"><a name="l00078"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a89000afae8017231889aaa549292d1e0.html#a89000afae8017231889aaa549292d1e0">   78</a></span>&#160;    <span class="keyword">protected</span> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a89000afae8017231889aaa549292d1e0.html#a89000afae8017231889aaa549292d1e0">CompoundTerm</a>() {</div>
<div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;    }</div>
<div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;</div>
<div class="line"><a name="l00085"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a575f70b59cb1810c54a28e75aa743868.html#a575f70b59cb1810c54a28e75aa743868">   85</a></span>&#160;    <span class="keyword">protected</span> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a575f70b59cb1810c54a28e75aa743868.html#a575f70b59cb1810c54a28e75aa743868">CompoundTerm</a>(ArrayList&lt;Term&gt; components) {</div>
<div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;        this.components = <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ad340d3bb55dcfcdf237fe4ee225d3cbb.html#ad340d3bb55dcfcdf237fe4ee225d3cbb">components</a>;</div>
<div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;        <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_aa28e96a54f884dc827849fc17c372bff.html#aa28e96a54f884dc827849fc17c372bff">calcComplexity</a>();</div>
<div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;        <a class="code" href="../../d8/db8/classnars_1_1language_1_1Term_a059f44677d4580c0eef198dfba957b6b.html#a059f44677d4580c0eef198dfba957b6b">name</a> = <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_aa26a304f6249c185836d8fde8b8f17a8.html#aa26a304f6249c185836d8fde8b8f17a8">makeName</a>();</div>
<div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;        isConstant = !<a class="code" href="../../de/da5/classnars_1_1language_1_1Variable.html">Variable</a>.<a class="code" href="../../de/da5/classnars_1_1language_1_1Variable_a2c36e85a56295a27aba7a4ee162f5850.html#a2c36e85a56295a27aba7a4ee162f5850">containVar</a>(<a class="code" href="../../d8/db8/classnars_1_1language_1_1Term_a059f44677d4580c0eef198dfba957b6b.html#a059f44677d4580c0eef198dfba957b6b">name</a>);</div>
<div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;    }</div>
<div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;</div>
<div class="line"><a name="l00097"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ac93002c2b591747e36c5f85d24a9f737.html#ac93002c2b591747e36c5f85d24a9f737">   97</a></span>&#160;    <span class="keyword">protected</span> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ac93002c2b591747e36c5f85d24a9f737.html#ac93002c2b591747e36c5f85d24a9f737">CompoundTerm</a>(String <a class="code" href="../../d8/db8/classnars_1_1language_1_1Term_a059f44677d4580c0eef198dfba957b6b.html#a059f44677d4580c0eef198dfba957b6b">name</a>, ArrayList&lt;Term&gt; components) {</div>
<div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;        super(name);</div>
<div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;        isConstant = !<a class="code" href="../../de/da5/classnars_1_1language_1_1Variable.html">Variable</a>.<a class="code" href="../../de/da5/classnars_1_1language_1_1Variable_a2c36e85a56295a27aba7a4ee162f5850.html#a2c36e85a56295a27aba7a4ee162f5850">containVar</a>(name);</div>
<div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;        this.components = <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ad340d3bb55dcfcdf237fe4ee225d3cbb.html#ad340d3bb55dcfcdf237fe4ee225d3cbb">components</a>;</div>
<div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;        <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_aa28e96a54f884dc827849fc17c372bff.html#aa28e96a54f884dc827849fc17c372bff">calcComplexity</a>();</div>
<div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;    }</div>
<div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;</div>
<div class="line"><a name="l00108"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a312b373f0e3a6b8124a1f17707ab8c87.html#a312b373f0e3a6b8124a1f17707ab8c87">  108</a></span>&#160;    <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a312b373f0e3a6b8124a1f17707ab8c87.html#a312b373f0e3a6b8124a1f17707ab8c87">setName</a>(String s) {</div>
<div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;        <a class="code" href="../../d8/db8/classnars_1_1language_1_1Term_a059f44677d4580c0eef198dfba957b6b.html#a059f44677d4580c0eef198dfba957b6b">name</a> = s;</div>
<div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;    }</div>
<div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;</div>
<div class="line"><a name="l00115"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_aa28e96a54f884dc827849fc17c372bff.html#aa28e96a54f884dc827849fc17c372bff">  115</a></span>&#160;    <span class="keyword">private</span> <span class="keywordtype">void</span> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_aa28e96a54f884dc827849fc17c372bff.html#aa28e96a54f884dc827849fc17c372bff">calcComplexity</a>() {</div>
<div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;        complexity = 1;</div>
<div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;        <span class="keywordflow">for</span> (<a class="code" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a> t : components) {</div>
<div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;            complexity += t.getComplexity();</div>
<div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;        }</div>
<div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;    }</div>
<div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;</div>
<div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;    <span class="comment">/* static methods making new compounds, which may return null */</span></div>
<div class="line"><a name="l00130"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ae4b161399fd4fa864f9a5cf6e1a4ed83.html#ae4b161399fd4fa864f9a5cf6e1a4ed83">  130</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <a class="code" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ae4b161399fd4fa864f9a5cf6e1a4ed83.html#ae4b161399fd4fa864f9a5cf6e1a4ed83">make</a>(<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">CompoundTerm</a> compound, ArrayList&lt;Term&gt; components, <a class="code" href="../../d8/df4/classnars_1_1storage_1_1Memory.html">Memory</a> memory) {</div>
<div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;        <span class="keywordflow">if</span> (compound instanceof <a class="code" href="../../db/dbb/classnars_1_1language_1_1ImageExt.html">ImageExt</a>) {</div>
<div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;            <span class="keywordflow">return</span> ImageExt.make(components, ((ImageExt) compound).getRelationIndex(), memory);</div>
<div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;        } <span class="keywordflow">else</span> <span class="keywordflow">if</span> (compound instanceof <a class="code" href="../../df/de3/classnars_1_1language_1_1ImageInt.html">ImageInt</a>) {</div>
<div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;            <span class="keywordflow">return</span> ImageInt.make(components, ((ImageInt) compound).getRelationIndex(), memory);</div>
<div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;        } <span class="keywordflow">else</span> {</div>
<div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ae4b161399fd4fa864f9a5cf6e1a4ed83.html#ae4b161399fd4fa864f9a5cf6e1a4ed83">make</a>(compound.<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a786848bcf438b17b9aa566b9b0c04e5f.html#a786848bcf438b17b9aa566b9b0c04e5f">operator</a>(), <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ad340d3bb55dcfcdf237fe4ee225d3cbb.html#ad340d3bb55dcfcdf237fe4ee225d3cbb">components</a>, memory);</div>
<div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;        }</div>
<div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;    }</div>
<div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;</div>
<div class="line"><a name="l00149"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a80748e3181cffb66ac216637477507c3.html#a80748e3181cffb66ac216637477507c3">  149</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <a class="code" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a80748e3181cffb66ac216637477507c3.html#a80748e3181cffb66ac216637477507c3">make</a>(String op, ArrayList&lt;Term&gt; arg, <a class="code" href="../../d8/df4/classnars_1_1storage_1_1Memory.html">Memory</a> memory) {</div>
<div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;        <span class="keywordflow">if</span> (op.length() == 1) {</div>
<div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;            <span class="keywordflow">if</span> (op.charAt(0) == <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a3bc6ba8295af16e7dc108ea61af132c4.html#a3bc6ba8295af16e7dc108ea61af132c4">SET_EXT_OPENER</a>) {</div>
<div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;                <span class="keywordflow">return</span> <a class="code" href="../../de/d1d/classnars_1_1language_1_1SetExt.html">SetExt</a>.<a class="code" href="../../de/d1d/classnars_1_1language_1_1SetExt_aa8f6526a59c3d7e578dd76a0eab75a0e.html#aa8f6526a59c3d7e578dd76a0eab75a0e">make</a>(arg, memory);</div>
<div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;            }</div>
<div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;            <span class="keywordflow">if</span> (op.charAt(0) == <a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a54fee577660cb416592b3ee290e6a7c5.html#a54fee577660cb416592b3ee290e6a7c5">SET_INT_OPENER</a>) {</div>
<div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;                <span class="keywordflow">return</span> <a class="code" href="../../d2/dfc/classnars_1_1language_1_1SetInt.html">SetInt</a>.<a class="code" href="../../d2/dfc/classnars_1_1language_1_1SetInt_aaea0f2cc2ca804779d1bf346beb58fa1.html#aaea0f2cc2ca804779d1bf346beb58fa1">make</a>(arg, memory);</div>
<div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;            }</div>
<div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;            <span class="keywordflow">if</span> (op.equals(<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_aa212451310e63f528feef0782ee2f47d.html#aa212451310e63f528feef0782ee2f47d">INTERSECTION_EXT_OPERATOR</a>)) {</div>
<div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;                <span class="keywordflow">return</span> <a class="code" href="../../d2/d68/classnars_1_1language_1_1IntersectionExt.html">IntersectionExt</a>.<a class="code" href="../../d2/d68/classnars_1_1language_1_1IntersectionExt_a84dcdd3c63e7219e8c3da43e163f2d78.html#a84dcdd3c63e7219e8c3da43e163f2d78">make</a>(arg, memory);</div>
<div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;            }</div>
<div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;            <span class="keywordflow">if</span> (op.equals(<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_af1c54fdf9aaf9940b09080bb3abf0029.html#af1c54fdf9aaf9940b09080bb3abf0029">INTERSECTION_INT_OPERATOR</a>)) {</div>
<div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;                <span class="keywordflow">return</span> <a class="code" href="../../d9/df4/classnars_1_1language_1_1IntersectionInt.html">IntersectionInt</a>.<a class="code" href="../../d9/df4/classnars_1_1language_1_1IntersectionInt_acc3bb6e31a10d204254e827435391988.html#acc3bb6e31a10d204254e827435391988">make</a>(arg, memory);</div>
<div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;            }</div>
<div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;            <span class="keywordflow">if</span> (op.equals(<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_ad1172815e3ed394951eb79fd92d173d4.html#ad1172815e3ed394951eb79fd92d173d4">DIFFERENCE_EXT_OPERATOR</a>)) {</div>
<div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;                <span class="keywordflow">return</span> <a class="code" href="../../d3/d12/classnars_1_1language_1_1DifferenceExt.html">DifferenceExt</a>.<a class="code" href="../../d3/d12/classnars_1_1language_1_1DifferenceExt_ad52f31a8b4209efc46c918c21120179d.html#ad52f31a8b4209efc46c918c21120179d">make</a>(arg, memory);</div>
<div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;            }</div>
<div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;            <span class="keywordflow">if</span> (op.equals(<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_ad314725cbe3608c918443097867dc24e.html#ad314725cbe3608c918443097867dc24e">DIFFERENCE_INT_OPERATOR</a>)) {</div>
<div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;                <span class="keywordflow">return</span> <a class="code" href="../../d4/d5b/classnars_1_1language_1_1DifferenceInt.html">DifferenceInt</a>.<a class="code" href="../../d4/d5b/classnars_1_1language_1_1DifferenceInt_a95a7042bd4175009db4d4d6cb2850a10.html#a95a7042bd4175009db4d4d6cb2850a10">make</a>(arg, memory);</div>
<div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;            }</div>
<div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;            <span class="keywordflow">if</span> (op.equals(<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_adb227f1a29cc4678727515cde5bd34c9.html#adb227f1a29cc4678727515cde5bd34c9">PRODUCT_OPERATOR</a>)) {</div>
<div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160;                <span class="keywordflow">return</span> <a class="code" href="../../d8/d73/classnars_1_1language_1_1Product.html">Product</a>.<a class="code" href="../../d8/d73/classnars_1_1language_1_1Product_a7cdc5cc66b8a8083cfab9abf39b529c7.html#a7cdc5cc66b8a8083cfab9abf39b529c7">make</a>(arg, memory);</div>
<div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;            }</div>
<div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;            <span class="keywordflow">if</span> (op.equals(<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a71b8c0790cd38a4ad229405e996287d6.html#a71b8c0790cd38a4ad229405e996287d6">IMAGE_EXT_OPERATOR</a>)) {</div>
<div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;                <span class="keywordflow">return</span> <a class="code" href="../../db/dbb/classnars_1_1language_1_1ImageExt.html">ImageExt</a>.<a class="code" href="../../db/dbb/classnars_1_1language_1_1ImageExt_afb24af5cc6c098ad3f5d837fa383e69c.html#afb24af5cc6c098ad3f5d837fa383e69c">make</a>(arg, memory);</div>
<div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;            }</div>
<div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;            <span class="keywordflow">if</span> (op.equals(<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a5bc9e12a9a70988c241652f088fa29d3.html#a5bc9e12a9a70988c241652f088fa29d3">IMAGE_INT_OPERATOR</a>)) {</div>
<div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;                <span class="keywordflow">return</span> <a class="code" href="../../df/de3/classnars_1_1language_1_1ImageInt.html">ImageInt</a>.<a class="code" href="../../df/de3/classnars_1_1language_1_1ImageInt_ad05e4231ed31d78ad4c8b4fefbc964fa.html#ad05e4231ed31d78ad4c8b4fefbc964fa">make</a>(arg, memory);</div>
<div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;            }</div>
<div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;        }</div>
<div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;        <span class="keywordflow">if</span> (op.length() == 2) {</div>
<div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;            <span class="keywordflow">if</span> (op.equals(<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a135cac9f3b8eecfc2549ed9c445043ec.html#a135cac9f3b8eecfc2549ed9c445043ec">NEGATION_OPERATOR</a>)) {</div>
<div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;                <span class="keywordflow">return</span> <a class="code" href="../../da/d1e/classnars_1_1language_1_1Negation.html">Negation</a>.<a class="code" href="../../da/d1e/classnars_1_1language_1_1Negation_a8c1310db584c5aebf595b305a41ad359.html#a8c1310db584c5aebf595b305a41ad359">make</a>(arg, memory);</div>
<div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;            }</div>
<div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;            <span class="keywordflow">if</span> (op.equals(<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_ac0ff22736c16f3735a1783a30bedc141.html#ac0ff22736c16f3735a1783a30bedc141">DISJUNCTION_OPERATOR</a>)) {</div>
<div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;                <span class="keywordflow">return</span> <a class="code" href="../../d9/d5d/classnars_1_1language_1_1Disjunction.html">Disjunction</a>.<a class="code" href="../../d9/d5d/classnars_1_1language_1_1Disjunction_a40b5b22629a8aa0f93da2439b201f59a.html#a40b5b22629a8aa0f93da2439b201f59a">make</a>(arg, memory);</div>
<div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;            }</div>
<div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;            <span class="keywordflow">if</span> (op.equals(<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a030df2adb13fa53908e2edbac12fb085.html#a030df2adb13fa53908e2edbac12fb085">CONJUNCTION_OPERATOR</a>)) {</div>
<div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;                <span class="keywordflow">return</span> <a class="code" href="../../d6/d98/classnars_1_1language_1_1Conjunction.html">Conjunction</a>.<a class="code" href="../../d6/d98/classnars_1_1language_1_1Conjunction_af8d44d1d196f833eefa37078a94b3ed3.html#af8d44d1d196f833eefa37078a94b3ed3">make</a>(arg, memory);</div>
<div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;            }</div>
<div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;        }</div>
<div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;        <span class="keywordflow">return</span> null;</div>
<div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;    }</div>
<div class="line"><a name="l00192"></a><span class="lineno">  192</span>&#160;</div>
<div class="line"><a name="l00198"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ad1d227398882f18af4624dd506c807c5.html#ad1d227398882f18af4624dd506c807c5">  198</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <span class="keywordtype">boolean</span> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ad1d227398882f18af4624dd506c807c5.html#ad1d227398882f18af4624dd506c807c5">isOperator</a>(String s) {</div>
<div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;        <span class="keywordflow">if</span> (s.length() == 1) {</div>
<div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;            <span class="keywordflow">return</span> (s.equals(<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_aa212451310e63f528feef0782ee2f47d.html#aa212451310e63f528feef0782ee2f47d">INTERSECTION_EXT_OPERATOR</a>) ||</div>
<div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160;                    s.equals(<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_af1c54fdf9aaf9940b09080bb3abf0029.html#af1c54fdf9aaf9940b09080bb3abf0029">INTERSECTION_INT_OPERATOR</a>) ||</div>
<div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;                    s.equals(<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_ad1172815e3ed394951eb79fd92d173d4.html#ad1172815e3ed394951eb79fd92d173d4">DIFFERENCE_EXT_OPERATOR</a>) ||</div>
<div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;                    s.equals(<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_ad314725cbe3608c918443097867dc24e.html#ad314725cbe3608c918443097867dc24e">DIFFERENCE_INT_OPERATOR</a>) ||</div>
<div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;                    s.equals(<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_adb227f1a29cc4678727515cde5bd34c9.html#adb227f1a29cc4678727515cde5bd34c9">PRODUCT_OPERATOR</a>) ||</div>
<div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;                    s.equals(<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a71b8c0790cd38a4ad229405e996287d6.html#a71b8c0790cd38a4ad229405e996287d6">IMAGE_EXT_OPERATOR</a>) ||</div>
<div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;                    s.equals(<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a5bc9e12a9a70988c241652f088fa29d3.html#a5bc9e12a9a70988c241652f088fa29d3">IMAGE_INT_OPERATOR</a>));</div>
<div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;        }</div>
<div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;        <span class="keywordflow">if</span> (s.length() == 2) {</div>
<div class="line"><a name="l00209"></a><span class="lineno">  209</span>&#160;            <span class="keywordflow">return</span> (s.equals(<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a135cac9f3b8eecfc2549ed9c445043ec.html#a135cac9f3b8eecfc2549ed9c445043ec">NEGATION_OPERATOR</a>) ||</div>
<div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;                    s.equals(<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_ac0ff22736c16f3735a1783a30bedc141.html#ac0ff22736c16f3735a1783a30bedc141">DISJUNCTION_OPERATOR</a>) ||</div>
<div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;                    s.equals(<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a030df2adb13fa53908e2edbac12fb085.html#a030df2adb13fa53908e2edbac12fb085">CONJUNCTION_OPERATOR</a>));</div>
<div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;        }</div>
<div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
<div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;    }</div>
<div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;</div>
<div class="line"><a name="l00222"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a26cc2a0123b22a3019ca81de239c5007.html#a26cc2a0123b22a3019ca81de239c5007">  222</a></span>&#160;    <span class="keyword">protected</span> <span class="keyword">static</span> ArrayList&lt;Term&gt; <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a26cc2a0123b22a3019ca81de239c5007.html#a26cc2a0123b22a3019ca81de239c5007">argumentsToList</a>(<a class="code" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a> t1, <a class="code" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a> t2) {</div>
<div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;        ArrayList&lt;Term&gt; list = <span class="keyword">new</span> ArrayList&lt;Term&gt;(2);</div>
<div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;        list.add(t1);</div>
<div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;        list.add(t2);</div>
<div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;        <span class="keywordflow">return</span> list;</div>
<div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;    }</div>
<div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;</div>
<div class="line"><a name="l00229"></a><span class="lineno">  229</span>&#160;    <span class="comment">/* ----- utilities for oldName ----- */</span></div>
<div class="line"><a name="l00234"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_aa26a304f6249c185836d8fde8b8f17a8.html#aa26a304f6249c185836d8fde8b8f17a8">  234</a></span>&#160;    <span class="keyword">protected</span> String <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_aa26a304f6249c185836d8fde8b8f17a8.html#aa26a304f6249c185836d8fde8b8f17a8">makeName</a>() {</div>
<div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a8d1e610c509fa096c6b52eb5fe06d59b.html#a8d1e610c509fa096c6b52eb5fe06d59b">makeCompoundName</a>(<span class="keyword">operator</span>(), components);</div>
<div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;    }</div>
<div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;</div>
<div class="line"><a name="l00244"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a8d1e610c509fa096c6b52eb5fe06d59b.html#a8d1e610c509fa096c6b52eb5fe06d59b">  244</a></span>&#160;    <span class="keyword">protected</span> <span class="keyword">static</span> String <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a8d1e610c509fa096c6b52eb5fe06d59b.html#a8d1e610c509fa096c6b52eb5fe06d59b">makeCompoundName</a>(String op, Iterable&lt;Term&gt; arg) {</div>
<div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;        StringBuffer <a class="code" href="../../d8/db8/classnars_1_1language_1_1Term_a059f44677d4580c0eef198dfba957b6b.html#a059f44677d4580c0eef198dfba957b6b">name</a> = <span class="keyword">new</span> StringBuffer();</div>
<div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;        name.append(<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_ae7288e11164656038caf396c2c4b7a58.html#ae7288e11164656038caf396c2c4b7a58">COMPOUND_TERM_OPENER</a>);</div>
<div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;        name.append(op);</div>
<div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;        <span class="keywordflow">for</span> (<a class="code" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a> t : arg) {</div>
<div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;            name.append(<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_ab78cb07d148cc233baf7f43ee8d302e9.html#ab78cb07d148cc233baf7f43ee8d302e9">ARGUMENT_SEPARATOR</a>);</div>
<div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;            <span class="keywordflow">if</span> (t instanceof <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">CompoundTerm</a>) {</div>
<div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;                ((<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a89000afae8017231889aaa549292d1e0.html#a89000afae8017231889aaa549292d1e0">CompoundTerm</a>) t).setName(((CompoundTerm) t).<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_aa26a304f6249c185836d8fde8b8f17a8.html#aa26a304f6249c185836d8fde8b8f17a8">makeName</a>());</div>
<div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;            }</div>
<div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;            name.append(t.getName());</div>
<div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;        }</div>
<div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;        name.append(<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_ab9662b963cff657c1089b306d3594efe.html#ab9662b963cff657c1089b306d3594efe">COMPOUND_TERM_CLOSER</a>);</div>
<div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;        <span class="keywordflow">return</span> name.toString();</div>
<div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;    }</div>
<div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160;</div>
<div class="line"><a name="l00266"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a97f8c7c396de480e7a650b0afe4829a4.html#a97f8c7c396de480e7a650b0afe4829a4">  266</a></span>&#160;    <span class="keyword">protected</span> <span class="keyword">static</span> String <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a97f8c7c396de480e7a650b0afe4829a4.html#a97f8c7c396de480e7a650b0afe4829a4">makeSetName</a>(<span class="keywordtype">char</span> opener, List&lt;Term&gt; arg, <span class="keywordtype">char</span> closer) {</div>
<div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;        StringBuffer <a class="code" href="../../d8/db8/classnars_1_1language_1_1Term_a059f44677d4580c0eef198dfba957b6b.html#a059f44677d4580c0eef198dfba957b6b">name</a> = <span class="keyword">new</span> StringBuffer();</div>
<div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;        name.append(opener);</div>
<div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;        name.append(arg.get(0).getName());</div>
<div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">int</span> i = 1; i &lt; arg.size(); i++) {</div>
<div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;            name.append(<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_ab78cb07d148cc233baf7f43ee8d302e9.html#ab78cb07d148cc233baf7f43ee8d302e9">ARGUMENT_SEPARATOR</a>);</div>
<div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;            name.append(arg.get(i).getName());</div>
<div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;        }</div>
<div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;        name.append(closer);</div>
<div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;        <span class="keywordflow">return</span> name.toString();</div>
<div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;    }</div>
<div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;</div>
<div class="line"><a name="l00285"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_adf2b3d71c10b80f512455c952137b200.html#adf2b3d71c10b80f512455c952137b200">  285</a></span>&#160;    <span class="keyword">protected</span> <span class="keyword">static</span> String <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_adf2b3d71c10b80f512455c952137b200.html#adf2b3d71c10b80f512455c952137b200">makeImageName</a>(String op, List&lt;Term&gt; arg, <span class="keywordtype">int</span> relationIndex) {</div>
<div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;        StringBuffer <a class="code" href="../../d8/db8/classnars_1_1language_1_1Term_a059f44677d4580c0eef198dfba957b6b.html#a059f44677d4580c0eef198dfba957b6b">name</a> = <span class="keyword">new</span> StringBuffer();</div>
<div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;        name.append(<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_ae7288e11164656038caf396c2c4b7a58.html#ae7288e11164656038caf396c2c4b7a58">COMPOUND_TERM_OPENER</a>);</div>
<div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;        name.append(op);</div>
<div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;        name.append(<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_ab78cb07d148cc233baf7f43ee8d302e9.html#ab78cb07d148cc233baf7f43ee8d302e9">ARGUMENT_SEPARATOR</a>);</div>
<div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;        name.append(arg.get(relationIndex).getName());</div>
<div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">int</span> i = 0; i &lt; arg.size(); i++) {</div>
<div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;            name.append(<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_ab78cb07d148cc233baf7f43ee8d302e9.html#ab78cb07d148cc233baf7f43ee8d302e9">ARGUMENT_SEPARATOR</a>);</div>
<div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;            <span class="keywordflow">if</span> (i == relationIndex) {</div>
<div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160;                name.append(<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_a3f863c930e8f4576f1fea1264175b2df.html#a3f863c930e8f4576f1fea1264175b2df">IMAGE_PLACE_HOLDER</a>);</div>
<div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;            } <span class="keywordflow">else</span> {</div>
<div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;                name.append(arg.get(i).getName());</div>
<div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;            }</div>
<div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;        }</div>
<div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;        name.append(<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols.html">Symbols</a>.<a class="code" href="../../dc/d71/classnars_1_1io_1_1Symbols_ab9662b963cff657c1089b306d3594efe.html#ab9662b963cff657c1089b306d3594efe">COMPOUND_TERM_CLOSER</a>);</div>
<div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;        <span class="keywordflow">return</span> name.toString();</div>
<div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;    }</div>
<div class="line"><a name="l00302"></a><span class="lineno">  302</span>&#160;</div>
<div class="line"><a name="l00303"></a><span class="lineno">  303</span>&#160;    <span class="comment">/* ----- utilities for other fields ----- */</span></div>
<div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;    @Override</div>
<div class="line"><a name="l00309"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a4f04fa1bc71ade41d35e664ff4df5475.html#a4f04fa1bc71ade41d35e664ff4df5475">  309</a></span>&#160;    <span class="keyword">public</span> <span class="keywordtype">int</span> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a4f04fa1bc71ade41d35e664ff4df5475.html#a4f04fa1bc71ade41d35e664ff4df5475">getComplexity</a>() {</div>
<div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a5e337444f74e870264191c7fbc13cd6d.html#a5e337444f74e870264191c7fbc13cd6d">complexity</a>;</div>
<div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;    }</div>
<div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;</div>
<div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;    @Override</div>
<div class="line"><a name="l00318"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_aee0ef6fd533b58caf22bee2a98eef67d.html#aee0ef6fd533b58caf22bee2a98eef67d">  318</a></span>&#160;    <span class="keyword">public</span> <span class="keywordtype">boolean</span> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_aee0ef6fd533b58caf22bee2a98eef67d.html#aee0ef6fd533b58caf22bee2a98eef67d">isConstant</a>() {</div>
<div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_aee0ef6fd533b58caf22bee2a98eef67d.html#aee0ef6fd533b58caf22bee2a98eef67d">isConstant</a>;</div>
<div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;    }</div>
<div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;</div>
<div class="line"><a name="l00326"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_aba82571567444c65efde4cdba1733ac9.html#aba82571567444c65efde4cdba1733ac9">  326</a></span>&#160;    <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_aba82571567444c65efde4cdba1733ac9.html#aba82571567444c65efde4cdba1733ac9">setConstant</a>(<span class="keywordtype">boolean</span> isConstant) {</div>
<div class="line"><a name="l00327"></a><span class="lineno">  327</span>&#160;        this.isConstant = <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_aee0ef6fd533b58caf22bee2a98eef67d.html#aee0ef6fd533b58caf22bee2a98eef67d">isConstant</a>;</div>
<div class="line"><a name="l00328"></a><span class="lineno">  328</span>&#160;    }</div>
<div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;</div>
<div class="line"><a name="l00338"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a43c073fe9f5a36241c475a2bc8736800.html#a43c073fe9f5a36241c475a2bc8736800">  338</a></span>&#160;    <span class="keyword">public</span> <span class="keywordtype">boolean</span> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a43c073fe9f5a36241c475a2bc8736800.html#a43c073fe9f5a36241c475a2bc8736800">isCommutative</a>() {</div>
<div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
<div class="line"><a name="l00340"></a><span class="lineno">  340</span>&#160;    }</div>
<div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;</div>
<div class="line"><a name="l00342"></a><span class="lineno">  342</span>&#160;    <span class="comment">/* ----- extend Collection methods to component list ----- */</span></div>
<div class="line"><a name="l00347"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ac81c5851f664320ddec435641f198b03.html#ac81c5851f664320ddec435641f198b03">  347</a></span>&#160;    <span class="keyword">public</span> <span class="keywordtype">int</span> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ac81c5851f664320ddec435641f198b03.html#ac81c5851f664320ddec435641f198b03">size</a>() {</div>
<div class="line"><a name="l00348"></a><span class="lineno">  348</span>&#160;        <span class="keywordflow">return</span> components.size();</div>
<div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;    }</div>
<div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;</div>
<div class="line"><a name="l00356"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_acedae916705e9fa1669391a7d728b840.html#acedae916705e9fa1669391a7d728b840">  356</a></span>&#160;    <span class="keyword">public</span> <a class="code" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_acedae916705e9fa1669391a7d728b840.html#acedae916705e9fa1669391a7d728b840">componentAt</a>(<span class="keywordtype">int</span> i) {</div>
<div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;        <span class="keywordflow">return</span> components.get(i);</div>
<div class="line"><a name="l00358"></a><span class="lineno">  358</span>&#160;    }</div>
<div class="line"><a name="l00359"></a><span class="lineno">  359</span>&#160;</div>
<div class="line"><a name="l00364"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a9778c35f9b602bee6ccac6a06809e546.html#a9778c35f9b602bee6ccac6a06809e546">  364</a></span>&#160;    <span class="keyword">public</span> List&lt;Term&gt; <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a9778c35f9b602bee6ccac6a06809e546.html#a9778c35f9b602bee6ccac6a06809e546">getComponents</a>() {</div>
<div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ad340d3bb55dcfcdf237fe4ee225d3cbb.html#ad340d3bb55dcfcdf237fe4ee225d3cbb">components</a>;</div>
<div class="line"><a name="l00366"></a><span class="lineno">  366</span>&#160;    }</div>
<div class="line"><a name="l00367"></a><span class="lineno">  367</span>&#160;</div>
<div class="line"><a name="l00372"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a5923e4b211c0c1e1e53b39ebed2c7be1.html#a5923e4b211c0c1e1e53b39ebed2c7be1">  372</a></span>&#160;    <span class="keyword">public</span> ArrayList&lt;Term&gt; <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a5923e4b211c0c1e1e53b39ebed2c7be1.html#a5923e4b211c0c1e1e53b39ebed2c7be1">cloneComponents</a>() {</div>
<div class="line"><a name="l00373"></a><span class="lineno">  373</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a4f199daa7588f86b81b0912a5e52dfe0.html#a4f199daa7588f86b81b0912a5e52dfe0">cloneList</a>(components);</div>
<div class="line"><a name="l00374"></a><span class="lineno">  374</span>&#160;    }</div>
<div class="line"><a name="l00375"></a><span class="lineno">  375</span>&#160;</div>
<div class="line"><a name="l00381"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a4f199daa7588f86b81b0912a5e52dfe0.html#a4f199daa7588f86b81b0912a5e52dfe0">  381</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> ArrayList&lt;Term&gt; <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a4f199daa7588f86b81b0912a5e52dfe0.html#a4f199daa7588f86b81b0912a5e52dfe0">cloneList</a>(ArrayList&lt;Term&gt; original) {</div>
<div class="line"><a name="l00382"></a><span class="lineno">  382</span>&#160;        <span class="keywordflow">if</span> (original == null) {</div>
<div class="line"><a name="l00383"></a><span class="lineno">  383</span>&#160;            <span class="keywordflow">return</span> null;</div>
<div class="line"><a name="l00384"></a><span class="lineno">  384</span>&#160;        }</div>
<div class="line"><a name="l00385"></a><span class="lineno">  385</span>&#160;        ArrayList&lt;Term&gt; arr = <span class="keyword">new</span> ArrayList&lt;Term&gt;(original.size());</div>
<div class="line"><a name="l00386"></a><span class="lineno">  386</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">int</span> i = 0; i &lt; original.size(); i++) {</div>
<div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;            arr.add((<a class="code" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a>) ((<a class="code" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a>) original.get(i)).<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a963e8aef1163f4ed8c364b5e448deaff.html#a963e8aef1163f4ed8c364b5e448deaff">clone</a>());</div>
<div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;        }</div>
<div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;        <span class="keywordflow">return</span> arr;</div>
<div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160;    }</div>
<div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;</div>
<div class="line"><a name="l00397"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ad637ccaf9aecf41f3961d095900f2d5e.html#ad637ccaf9aecf41f3961d095900f2d5e">  397</a></span>&#160;    <span class="keyword">public</span> <span class="keywordtype">boolean</span> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ad637ccaf9aecf41f3961d095900f2d5e.html#ad637ccaf9aecf41f3961d095900f2d5e">containComponent</a>(<a class="code" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a> t) {</div>
<div class="line"><a name="l00398"></a><span class="lineno">  398</span>&#160;        <span class="keywordflow">return</span> components.contains(t);</div>
<div class="line"><a name="l00399"></a><span class="lineno">  399</span>&#160;    }</div>
<div class="line"><a name="l00400"></a><span class="lineno">  400</span>&#160;</div>
<div class="line"><a name="l00406"></a><span class="lineno">  406</span>&#160;    @Override</div>
<div class="line"><a name="l00407"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a33b6665fb080ce026a890ff824e213ee.html#a33b6665fb080ce026a890ff824e213ee">  407</a></span>&#160;    <span class="keyword">public</span> <span class="keywordtype">boolean</span> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a33b6665fb080ce026a890ff824e213ee.html#a33b6665fb080ce026a890ff824e213ee">containTerm</a>(<a class="code" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a> target) {</div>
<div class="line"><a name="l00408"></a><span class="lineno">  408</span>&#160;        <span class="keywordflow">for</span> (<a class="code" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a> term : components) {</div>
<div class="line"><a name="l00409"></a><span class="lineno">  409</span>&#160;            <span class="keywordflow">if</span> (term.containTerm(target)) {</div>
<div class="line"><a name="l00410"></a><span class="lineno">  410</span>&#160;                <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
<div class="line"><a name="l00411"></a><span class="lineno">  411</span>&#160;            }</div>
<div class="line"><a name="l00412"></a><span class="lineno">  412</span>&#160;        }</div>
<div class="line"><a name="l00413"></a><span class="lineno">  413</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
<div class="line"><a name="l00414"></a><span class="lineno">  414</span>&#160;    }</div>
<div class="line"><a name="l00415"></a><span class="lineno">  415</span>&#160;</div>
<div class="line"><a name="l00421"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a56e6d3517a3f80921d8a5241320496f2.html#a56e6d3517a3f80921d8a5241320496f2">  421</a></span>&#160;    <span class="keyword">public</span> <span class="keywordtype">boolean</span> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a56e6d3517a3f80921d8a5241320496f2.html#a56e6d3517a3f80921d8a5241320496f2">containAllComponents</a>(<a class="code" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a> t) {</div>
<div class="line"><a name="l00422"></a><span class="lineno">  422</span>&#160;        <span class="keywordflow">if</span> (getClass() == t.getClass()) {</div>
<div class="line"><a name="l00423"></a><span class="lineno">  423</span>&#160;            <span class="keywordflow">return</span> components.containsAll(((<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">CompoundTerm</a>) t).<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a9778c35f9b602bee6ccac6a06809e546.html#a9778c35f9b602bee6ccac6a06809e546">getComponents</a>());</div>
<div class="line"><a name="l00424"></a><span class="lineno">  424</span>&#160;        } <span class="keywordflow">else</span> {</div>
<div class="line"><a name="l00425"></a><span class="lineno">  425</span>&#160;            <span class="keywordflow">return</span> components.contains(t);</div>
<div class="line"><a name="l00426"></a><span class="lineno">  426</span>&#160;        }</div>
<div class="line"><a name="l00427"></a><span class="lineno">  427</span>&#160;    }</div>
<div class="line"><a name="l00428"></a><span class="lineno">  428</span>&#160;</div>
<div class="line"><a name="l00436"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_afa61c8aa9aac1ad79977ca20c2922cd7.html#afa61c8aa9aac1ad79977ca20c2922cd7">  436</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <a class="code" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_afa61c8aa9aac1ad79977ca20c2922cd7.html#afa61c8aa9aac1ad79977ca20c2922cd7">addComponents</a>(<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">CompoundTerm</a> t1, <a class="code" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a> t2, <a class="code" href="../../d8/df4/classnars_1_1storage_1_1Memory.html">Memory</a> memory) {</div>
<div class="line"><a name="l00437"></a><span class="lineno">  437</span>&#160;        <span class="keywordflow">if</span> (t2 == null) {</div>
<div class="line"><a name="l00438"></a><span class="lineno">  438</span>&#160;            <span class="keywordflow">return</span> t1;</div>
<div class="line"><a name="l00439"></a><span class="lineno">  439</span>&#160;        }</div>
<div class="line"><a name="l00440"></a><span class="lineno">  440</span>&#160;        <span class="keywordtype">boolean</span> success;</div>
<div class="line"><a name="l00441"></a><span class="lineno">  441</span>&#160;        ArrayList&lt;Term&gt; list = t1.<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a5923e4b211c0c1e1e53b39ebed2c7be1.html#a5923e4b211c0c1e1e53b39ebed2c7be1">cloneComponents</a>();</div>
<div class="line"><a name="l00442"></a><span class="lineno">  442</span>&#160;        <span class="keywordflow">if</span> (t1.getClass() == t2.getClass()) {</div>
<div class="line"><a name="l00443"></a><span class="lineno">  443</span>&#160;            success = list.addAll(((<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">CompoundTerm</a>) t2).<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a9778c35f9b602bee6ccac6a06809e546.html#a9778c35f9b602bee6ccac6a06809e546">getComponents</a>());</div>
<div class="line"><a name="l00444"></a><span class="lineno">  444</span>&#160;        } <span class="keywordflow">else</span> {</div>
<div class="line"><a name="l00445"></a><span class="lineno">  445</span>&#160;            success = list.add(t2);</div>
<div class="line"><a name="l00446"></a><span class="lineno">  446</span>&#160;        }</div>
<div class="line"><a name="l00447"></a><span class="lineno">  447</span>&#160;        <span class="keywordflow">return</span> (success ? <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ae4b161399fd4fa864f9a5cf6e1a4ed83.html#ae4b161399fd4fa864f9a5cf6e1a4ed83">make</a>(t1, list, memory) : null);</div>
<div class="line"><a name="l00448"></a><span class="lineno">  448</span>&#160;    }</div>
<div class="line"><a name="l00449"></a><span class="lineno">  449</span>&#160;</div>
<div class="line"><a name="l00457"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a09c88a408c16b985b0db4bc602a170aa.html#a09c88a408c16b985b0db4bc602a170aa">  457</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <a class="code" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a09c88a408c16b985b0db4bc602a170aa.html#a09c88a408c16b985b0db4bc602a170aa">reduceComponents</a>(<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">CompoundTerm</a> t1, <a class="code" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a> t2, <a class="code" href="../../d8/df4/classnars_1_1storage_1_1Memory.html">Memory</a> memory) {</div>
<div class="line"><a name="l00458"></a><span class="lineno">  458</span>&#160;        <span class="keywordtype">boolean</span> success;</div>
<div class="line"><a name="l00459"></a><span class="lineno">  459</span>&#160;        ArrayList&lt;Term&gt; list = t1.<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a5923e4b211c0c1e1e53b39ebed2c7be1.html#a5923e4b211c0c1e1e53b39ebed2c7be1">cloneComponents</a>();</div>
<div class="line"><a name="l00460"></a><span class="lineno">  460</span>&#160;        <span class="keywordflow">if</span> (t1.getClass() == t2.getClass()) {</div>
<div class="line"><a name="l00461"></a><span class="lineno">  461</span>&#160;            success = list.removeAll(((<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">CompoundTerm</a>) t2).<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a9778c35f9b602bee6ccac6a06809e546.html#a9778c35f9b602bee6ccac6a06809e546">getComponents</a>());</div>
<div class="line"><a name="l00462"></a><span class="lineno">  462</span>&#160;        } <span class="keywordflow">else</span> {</div>
<div class="line"><a name="l00463"></a><span class="lineno">  463</span>&#160;            success = list.remove(t2);</div>
<div class="line"><a name="l00464"></a><span class="lineno">  464</span>&#160;        }</div>
<div class="line"><a name="l00465"></a><span class="lineno">  465</span>&#160;        <span class="keywordflow">return</span> (success ? <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ae4b161399fd4fa864f9a5cf6e1a4ed83.html#ae4b161399fd4fa864f9a5cf6e1a4ed83">make</a>(t1, list, memory) : null);</div>
<div class="line"><a name="l00466"></a><span class="lineno">  466</span>&#160;    }</div>
<div class="line"><a name="l00467"></a><span class="lineno">  467</span>&#160;</div>
<div class="line"><a name="l00476"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a623c88183d85bd42464640937ea8ccb5.html#a623c88183d85bd42464640937ea8ccb5">  476</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">static</span> <a class="code" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a623c88183d85bd42464640937ea8ccb5.html#a623c88183d85bd42464640937ea8ccb5">setComponent</a>(<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">CompoundTerm</a> compound, <span class="keywordtype">int</span> index, <a class="code" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a> t, <a class="code" href="../../d8/df4/classnars_1_1storage_1_1Memory.html">Memory</a> memory) {</div>
<div class="line"><a name="l00477"></a><span class="lineno">  477</span>&#160;        ArrayList&lt;Term&gt; list = compound.<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a5923e4b211c0c1e1e53b39ebed2c7be1.html#a5923e4b211c0c1e1e53b39ebed2c7be1">cloneComponents</a>();</div>
<div class="line"><a name="l00478"></a><span class="lineno">  478</span>&#160;        list.remove(index);</div>
<div class="line"><a name="l00479"></a><span class="lineno">  479</span>&#160;        <span class="keywordflow">if</span> (t != null) {</div>
<div class="line"><a name="l00480"></a><span class="lineno">  480</span>&#160;            <span class="keywordflow">if</span> (compound.getClass() != t.getClass()) {</div>
<div class="line"><a name="l00481"></a><span class="lineno">  481</span>&#160;                list.add(index, t);</div>
<div class="line"><a name="l00482"></a><span class="lineno">  482</span>&#160;            } <span class="keywordflow">else</span> {</div>
<div class="line"><a name="l00483"></a><span class="lineno">  483</span>&#160;                List&lt;Term&gt; list2 = ((<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a89000afae8017231889aaa549292d1e0.html#a89000afae8017231889aaa549292d1e0">CompoundTerm</a>) t).cloneComponents();</div>
<div class="line"><a name="l00484"></a><span class="lineno">  484</span>&#160;                <span class="keywordflow">for</span> (<span class="keywordtype">int</span> i = 0; i &lt; list2.size(); i++) {</div>
<div class="line"><a name="l00485"></a><span class="lineno">  485</span>&#160;                    list.add(index + i, list2.get(i));</div>
<div class="line"><a name="l00486"></a><span class="lineno">  486</span>&#160;                }</div>
<div class="line"><a name="l00487"></a><span class="lineno">  487</span>&#160;            }</div>
<div class="line"><a name="l00488"></a><span class="lineno">  488</span>&#160;        }</div>
<div class="line"><a name="l00489"></a><span class="lineno">  489</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ae4b161399fd4fa864f9a5cf6e1a4ed83.html#ae4b161399fd4fa864f9a5cf6e1a4ed83">make</a>(compound, list, memory);</div>
<div class="line"><a name="l00490"></a><span class="lineno">  490</span>&#160;    }</div>
<div class="line"><a name="l00491"></a><span class="lineno">  491</span>&#160;</div>
<div class="line"><a name="l00492"></a><span class="lineno">  492</span>&#160;    <span class="comment">/* ----- variable-related utilities ----- */</span></div>
<div class="line"><a name="l00497"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a18e066f782a0070b137132a6a2d732d6.html#a18e066f782a0070b137132a6a2d732d6">  497</a></span>&#160;    <span class="keyword">public</span> <span class="keywordtype">boolean</span> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a18e066f782a0070b137132a6a2d732d6.html#a18e066f782a0070b137132a6a2d732d6">containVar</a>() {</div>
<div class="line"><a name="l00498"></a><span class="lineno">  498</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="../../de/da5/classnars_1_1language_1_1Variable.html">Variable</a>.<a class="code" href="../../de/da5/classnars_1_1language_1_1Variable_a2c36e85a56295a27aba7a4ee162f5850.html#a2c36e85a56295a27aba7a4ee162f5850">containVar</a>(<a class="code" href="../../d8/db8/classnars_1_1language_1_1Term_a059f44677d4580c0eef198dfba957b6b.html#a059f44677d4580c0eef198dfba957b6b">name</a>);</div>
<div class="line"><a name="l00499"></a><span class="lineno">  499</span>&#160;    }</div>
<div class="line"><a name="l00500"></a><span class="lineno">  500</span>&#160;</div>
<div class="line"><a name="l00504"></a><span class="lineno">  504</span>&#160;    @Override</div>
<div class="line"><a name="l00505"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ac19f90fbe8b8ebe78462fa13e7ebca74.html#ac19f90fbe8b8ebe78462fa13e7ebca74">  505</a></span>&#160;    <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ac19f90fbe8b8ebe78462fa13e7ebca74.html#ac19f90fbe8b8ebe78462fa13e7ebca74">renameVariables</a>() {</div>
<div class="line"><a name="l00506"></a><span class="lineno">  506</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a18e066f782a0070b137132a6a2d732d6.html#a18e066f782a0070b137132a6a2d732d6">containVar</a>()) {</div>
<div class="line"><a name="l00507"></a><span class="lineno">  507</span>&#160;            <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ac19f90fbe8b8ebe78462fa13e7ebca74.html#ac19f90fbe8b8ebe78462fa13e7ebca74">renameVariables</a>(<span class="keyword">new</span> HashMap&lt;Variable, Variable&gt;());</div>
<div class="line"><a name="l00508"></a><span class="lineno">  508</span>&#160;        }</div>
<div class="line"><a name="l00509"></a><span class="lineno">  509</span>&#160;        <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_aba82571567444c65efde4cdba1733ac9.html#aba82571567444c65efde4cdba1733ac9">setConstant</a>(<span class="keyword">true</span>);</div>
<div class="line"><a name="l00510"></a><span class="lineno">  510</span>&#160;        <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a312b373f0e3a6b8124a1f17707ab8c87.html#a312b373f0e3a6b8124a1f17707ab8c87">setName</a>(<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_aa26a304f6249c185836d8fde8b8f17a8.html#aa26a304f6249c185836d8fde8b8f17a8">makeName</a>());</div>
<div class="line"><a name="l00511"></a><span class="lineno">  511</span>&#160;    }</div>
<div class="line"><a name="l00512"></a><span class="lineno">  512</span>&#160;</div>
<div class="line"><a name="l00517"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ac81d297c59bab29f9f4f0ab45ab64b4f.html#ac81d297c59bab29f9f4f0ab45ab64b4f">  517</a></span>&#160;    <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ac81d297c59bab29f9f4f0ab45ab64b4f.html#ac81d297c59bab29f9f4f0ab45ab64b4f">renameVariables</a>(HashMap&lt;Variable, Variable&gt; map) {</div>
<div class="line"><a name="l00518"></a><span class="lineno">  518</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a18e066f782a0070b137132a6a2d732d6.html#a18e066f782a0070b137132a6a2d732d6">containVar</a>()) {</div>
<div class="line"><a name="l00519"></a><span class="lineno">  519</span>&#160;            <span class="keywordflow">for</span> (<span class="keywordtype">int</span> i = 0; i &lt; components.size(); i++) {</div>
<div class="line"><a name="l00520"></a><span class="lineno">  520</span>&#160;                <a class="code" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a> term = <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_acedae916705e9fa1669391a7d728b840.html#acedae916705e9fa1669391a7d728b840">componentAt</a>(i);</div>
<div class="line"><a name="l00521"></a><span class="lineno">  521</span>&#160;                <span class="keywordflow">if</span> (term instanceof <a class="code" href="../../de/da5/classnars_1_1language_1_1Variable.html">Variable</a>) {</div>
<div class="line"><a name="l00522"></a><span class="lineno">  522</span>&#160;                    Variable var;</div>
<div class="line"><a name="l00523"></a><span class="lineno">  523</span>&#160;                    <span class="keywordflow">if</span> (term.<a class="code" href="../../d8/db8/classnars_1_1language_1_1Term_a3aad4654016b8615fd4fa8a26668e1db.html#a3aad4654016b8615fd4fa8a26668e1db">getName</a>().length() == 1) { <span class="comment">// anonymous variable from input</span></div>
<div class="line"><a name="l00524"></a><span class="lineno">  524</span>&#160;                        var = <span class="keyword">new</span> Variable(term.<a class="code" href="../../d8/db8/classnars_1_1language_1_1Term_a3aad4654016b8615fd4fa8a26668e1db.html#a3aad4654016b8615fd4fa8a26668e1db">getName</a>().charAt(0) + <span class="stringliteral">&quot;&quot;</span> + (map.size() + 1));</div>
<div class="line"><a name="l00525"></a><span class="lineno">  525</span>&#160;                    } <span class="keywordflow">else</span> {</div>
<div class="line"><a name="l00526"></a><span class="lineno">  526</span>&#160;                        var = (Variable) map.get((Variable) term);</div>
<div class="line"><a name="l00527"></a><span class="lineno">  527</span>&#160;                        <span class="keywordflow">if</span> (var == null) {</div>
<div class="line"><a name="l00528"></a><span class="lineno">  528</span>&#160;                            var = <span class="keyword">new</span> Variable(term.<a class="code" href="../../d8/db8/classnars_1_1language_1_1Term_a3aad4654016b8615fd4fa8a26668e1db.html#a3aad4654016b8615fd4fa8a26668e1db">getName</a>().charAt(0) + <span class="stringliteral">&quot;&quot;</span> + (map.size() + 1));</div>
<div class="line"><a name="l00529"></a><span class="lineno">  529</span>&#160;                        }</div>
<div class="line"><a name="l00530"></a><span class="lineno">  530</span>&#160;                    }</div>
<div class="line"><a name="l00531"></a><span class="lineno">  531</span>&#160;                    <span class="keywordflow">if</span> (!term.<a class="code" href="../../d8/db8/classnars_1_1language_1_1Term_ad85f45a7858737445d5158801774ff5f.html#ad85f45a7858737445d5158801774ff5f">equals</a>(var)) {</div>
<div class="line"><a name="l00532"></a><span class="lineno">  532</span>&#160;                        components.set(i, var);</div>
<div class="line"><a name="l00533"></a><span class="lineno">  533</span>&#160;                    }</div>
<div class="line"><a name="l00534"></a><span class="lineno">  534</span>&#160;                    map.put((Variable) term, var);</div>
<div class="line"><a name="l00535"></a><span class="lineno">  535</span>&#160;                } <span class="keywordflow">else</span> <span class="keywordflow">if</span> (term instanceof <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">CompoundTerm</a>) {</div>
<div class="line"><a name="l00536"></a><span class="lineno">  536</span>&#160;                    ((<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a89000afae8017231889aaa549292d1e0.html#a89000afae8017231889aaa549292d1e0">CompoundTerm</a>) term).renameVariables(map);</div>
<div class="line"><a name="l00537"></a><span class="lineno">  537</span>&#160;                    ((<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a89000afae8017231889aaa549292d1e0.html#a89000afae8017231889aaa549292d1e0">CompoundTerm</a>) term).setName(((CompoundTerm) term).<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_aa26a304f6249c185836d8fde8b8f17a8.html#aa26a304f6249c185836d8fde8b8f17a8">makeName</a>());</div>
<div class="line"><a name="l00538"></a><span class="lineno">  538</span>&#160;                }</div>
<div class="line"><a name="l00539"></a><span class="lineno">  539</span>&#160;            }</div>
<div class="line"><a name="l00540"></a><span class="lineno">  540</span>&#160;        }</div>
<div class="line"><a name="l00541"></a><span class="lineno">  541</span>&#160;    }</div>
<div class="line"><a name="l00542"></a><span class="lineno">  542</span>&#160;</div>
<div class="line"><a name="l00547"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a7899e3d2c69785eeb83f2b78bf474da6.html#a7899e3d2c69785eeb83f2b78bf474da6">  547</a></span>&#160;    <span class="keyword">public</span> <span class="keywordtype">void</span> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a7899e3d2c69785eeb83f2b78bf474da6.html#a7899e3d2c69785eeb83f2b78bf474da6">applySubstitute</a>(HashMap&lt;Term, Term&gt; subs) {</div>
<div class="line"><a name="l00548"></a><span class="lineno">  548</span>&#160;        <a class="code" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a> t1, t2;</div>
<div class="line"><a name="l00549"></a><span class="lineno">  549</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">int</span> i = 0; i &lt; <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ac81c5851f664320ddec435641f198b03.html#ac81c5851f664320ddec435641f198b03">size</a>(); i++) {</div>
<div class="line"><a name="l00550"></a><span class="lineno">  550</span>&#160;            t1 = <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_acedae916705e9fa1669391a7d728b840.html#acedae916705e9fa1669391a7d728b840">componentAt</a>(i);</div>
<div class="line"><a name="l00551"></a><span class="lineno">  551</span>&#160;<span class="comment">//            if (t1 instanceof Variable) {</span></div>
<div class="line"><a name="l00552"></a><span class="lineno">  552</span>&#160;            t2 = subs.get(t1);</div>
<div class="line"><a name="l00553"></a><span class="lineno">  553</span>&#160;            <span class="keywordflow">if</span> (t2 != null) {</div>
<div class="line"><a name="l00554"></a><span class="lineno">  554</span>&#160;                components.set(i, (<a class="code" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a>) t2.<a class="code" href="../../d8/db8/classnars_1_1language_1_1Term_ae2dba162b71bb9b806f54832249a260c.html#ae2dba162b71bb9b806f54832249a260c">clone</a>());</div>
<div class="line"><a name="l00555"></a><span class="lineno">  555</span>&#160;<span class="comment">//                }</span></div>
<div class="line"><a name="l00556"></a><span class="lineno">  556</span>&#160;            } <span class="keywordflow">else</span> <span class="keywordflow">if</span> (t1 instanceof <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">CompoundTerm</a>) {</div>
<div class="line"><a name="l00557"></a><span class="lineno">  557</span>&#160;                ((<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a89000afae8017231889aaa549292d1e0.html#a89000afae8017231889aaa549292d1e0">CompoundTerm</a>) t1).applySubstitute(subs);</div>
<div class="line"><a name="l00558"></a><span class="lineno">  558</span>&#160;            }</div>
<div class="line"><a name="l00559"></a><span class="lineno">  559</span>&#160;        }</div>
<div class="line"><a name="l00560"></a><span class="lineno">  560</span>&#160;        <span class="keywordflow">if</span> (this.<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a43c073fe9f5a36241c475a2bc8736800.html#a43c073fe9f5a36241c475a2bc8736800">isCommutative</a>()) {         <span class="comment">// re-order</span></div>
<div class="line"><a name="l00561"></a><span class="lineno">  561</span>&#160;            TreeSet&lt;Term&gt; s = <span class="keyword">new</span> TreeSet&lt;Term&gt;(<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ad340d3bb55dcfcdf237fe4ee225d3cbb.html#ad340d3bb55dcfcdf237fe4ee225d3cbb">components</a>);</div>
<div class="line"><a name="l00562"></a><span class="lineno">  562</span>&#160;            components = <span class="keyword">new</span> ArrayList&lt;Term&gt;(s);</div>
<div class="line"><a name="l00563"></a><span class="lineno">  563</span>&#160;        }</div>
<div class="line"><a name="l00564"></a><span class="lineno">  564</span>&#160;        <a class="code" href="../../d8/db8/classnars_1_1language_1_1Term_a059f44677d4580c0eef198dfba957b6b.html#a059f44677d4580c0eef198dfba957b6b">name</a> = <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_aa26a304f6249c185836d8fde8b8f17a8.html#aa26a304f6249c185836d8fde8b8f17a8">makeName</a>();</div>
<div class="line"><a name="l00565"></a><span class="lineno">  565</span>&#160;    }</div>
<div class="line"><a name="l00566"></a><span class="lineno">  566</span>&#160;</div>
<div class="line"><a name="l00567"></a><span class="lineno">  567</span>&#160;    <span class="comment">/* ----- link CompoundTerm and its components ----- */</span></div>
<div class="line"><a name="l00574"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a0fcbcdbbb9e451888df7a1216715a8d1.html#a0fcbcdbbb9e451888df7a1216715a8d1">  574</a></span>&#160;    <span class="keyword">public</span> ArrayList&lt;TermLink&gt; <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a0fcbcdbbb9e451888df7a1216715a8d1.html#a0fcbcdbbb9e451888df7a1216715a8d1">prepareComponentLinks</a>() {</div>
<div class="line"><a name="l00575"></a><span class="lineno">  575</span>&#160;        ArrayList&lt;TermLink&gt; componentLinks = <span class="keyword">new</span> ArrayList&lt;TermLink&gt;();</div>
<div class="line"><a name="l00576"></a><span class="lineno">  576</span>&#160;        <span class="keywordtype">short</span> type = (<span class="keyword">this</span> instanceof <a class="code" href="../../d1/d5e/classnars_1_1language_1_1Statement.html">Statement</a>) ? <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_a6c0e98a7948be8d940ba6afc52d43fea.html#a6c0e98a7948be8d940ba6afc52d43fea">COMPOUND_STATEMENT</a> : <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_ad95ac3ddd10cac258cecddba9b8a7fa1.html#ad95ac3ddd10cac258cecddba9b8a7fa1">COMPOUND</a>;   <span class="comment">// default</span></div>
<div class="line"><a name="l00577"></a><span class="lineno">  577</span>&#160;        <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a0fcbcdbbb9e451888df7a1216715a8d1.html#a0fcbcdbbb9e451888df7a1216715a8d1">prepareComponentLinks</a>(componentLinks, type, <span class="keyword">this</span>);</div>
<div class="line"><a name="l00578"></a><span class="lineno">  578</span>&#160;        <span class="keywordflow">return</span> componentLinks;</div>
<div class="line"><a name="l00579"></a><span class="lineno">  579</span>&#160;    }</div>
<div class="line"><a name="l00580"></a><span class="lineno">  580</span>&#160;</div>
<div class="line"><a name="l00588"></a><span class="lineno"><a class="line" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a43cdaac00db9c962696e13abd3e4a4c4.html#a43cdaac00db9c962696e13abd3e4a4c4">  588</a></span>&#160;    <span class="keyword">private</span> <span class="keywordtype">void</span> <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a43cdaac00db9c962696e13abd3e4a4c4.html#a43cdaac00db9c962696e13abd3e4a4c4">prepareComponentLinks</a>(ArrayList&lt;TermLink&gt; componentLinks, <span class="keywordtype">short</span> type, <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">CompoundTerm</a> term) {</div>
<div class="line"><a name="l00589"></a><span class="lineno">  589</span>&#160;        <a class="code" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a> t1, t2, t3;                    <span class="comment">// components at different levels</span></div>
<div class="line"><a name="l00590"></a><span class="lineno">  590</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">int</span> i = 0; i &lt; term.<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ac81c5851f664320ddec435641f198b03.html#ac81c5851f664320ddec435641f198b03">size</a>(); i++) {     <span class="comment">// first level components</span></div>
<div class="line"><a name="l00591"></a><span class="lineno">  591</span>&#160;            t1 = term.<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_acedae916705e9fa1669391a7d728b840.html#acedae916705e9fa1669391a7d728b840">componentAt</a>(i);</div>
<div class="line"><a name="l00592"></a><span class="lineno">  592</span>&#160;            <span class="keywordflow">if</span> (t1.<a class="code" href="../../d8/db8/classnars_1_1language_1_1Term_a88297bdbbfb5f3e292783647b14f0c70.html#a88297bdbbfb5f3e292783647b14f0c70">isConstant</a>()) {</div>
<div class="line"><a name="l00593"></a><span class="lineno">  593</span>&#160;                componentLinks.add(<span class="keyword">new</span> <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>(t1, type, i));</div>
<div class="line"><a name="l00594"></a><span class="lineno">  594</span>&#160;            }</div>
<div class="line"><a name="l00595"></a><span class="lineno">  595</span>&#160;            <span class="keywordflow">if</span> ((t1 instanceof <a class="code" href="../../d6/d98/classnars_1_1language_1_1Conjunction.html">Conjunction</a>) &amp;&amp; ((<span class="keyword">this</span> instanceof <a class="code" href="../../d1/d8b/classnars_1_1language_1_1Equivalence.html">Equivalence</a>) || ((<span class="keyword">this</span> instanceof <a class="code" href="../../da/db6/classnars_1_1language_1_1Implication.html">Implication</a>) &amp;&amp; (i == 0)))) {</div>
<div class="line"><a name="l00596"></a><span class="lineno">  596</span>&#160;                ((<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a89000afae8017231889aaa549292d1e0.html#a89000afae8017231889aaa549292d1e0">CompoundTerm</a>) t1).prepareComponentLinks(componentLinks, <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_ae891eef9a9d8c49a597a0f61a16b4570.html#ae891eef9a9d8c49a597a0f61a16b4570">COMPOUND_CONDITION</a>, (<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">CompoundTerm</a>) t1);</div>
<div class="line"><a name="l00597"></a><span class="lineno">  597</span>&#160;            } <span class="keywordflow">else</span> <span class="keywordflow">if</span> (t1 instanceof <a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">CompoundTerm</a>) {</div>
<div class="line"><a name="l00598"></a><span class="lineno">  598</span>&#160;                <span class="keywordflow">for</span> (<span class="keywordtype">int</span> j = 0; j &lt; ((<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a89000afae8017231889aaa549292d1e0.html#a89000afae8017231889aaa549292d1e0">CompoundTerm</a>) t1).size(); j++) {  <span class="comment">// second level components</span></div>
<div class="line"><a name="l00599"></a><span class="lineno">  599</span>&#160;                    t2 = ((<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a89000afae8017231889aaa549292d1e0.html#a89000afae8017231889aaa549292d1e0">CompoundTerm</a>) t1).componentAt(j);</div>
<div class="line"><a name="l00600"></a><span class="lineno">  600</span>&#160;                    <span class="keywordflow">if</span> (t2.<a class="code" href="../../d8/db8/classnars_1_1language_1_1Term_a88297bdbbfb5f3e292783647b14f0c70.html#a88297bdbbfb5f3e292783647b14f0c70">isConstant</a>()) {</div>
<div class="line"><a name="l00601"></a><span class="lineno">  601</span>&#160;                        <span class="keywordflow">if</span> ((t1 instanceof <a class="code" href="../../d8/d73/classnars_1_1language_1_1Product.html">Product</a>) || (t1 instanceof <a class="code" href="../../db/dbb/classnars_1_1language_1_1ImageExt.html">ImageExt</a>) || (t1 instanceof <a class="code" href="../../df/de3/classnars_1_1language_1_1ImageInt.html">ImageInt</a>)) {</div>
<div class="line"><a name="l00602"></a><span class="lineno">  602</span>&#160;                            <span class="keywordflow">if</span> (type == <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_ae891eef9a9d8c49a597a0f61a16b4570.html#ae891eef9a9d8c49a597a0f61a16b4570">COMPOUND_CONDITION</a>) {</div>
<div class="line"><a name="l00603"></a><span class="lineno">  603</span>&#160;                                componentLinks.add(<span class="keyword">new</span> <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>(t2, <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_a414d310cc5616e19d26525b29c0632d0.html#a414d310cc5616e19d26525b29c0632d0">TRANSFORM</a>, 0, i, j));</div>
<div class="line"><a name="l00604"></a><span class="lineno">  604</span>&#160;                            } <span class="keywordflow">else</span> {</div>
<div class="line"><a name="l00605"></a><span class="lineno">  605</span>&#160;                                componentLinks.add(<span class="keyword">new</span> <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>(t2, <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_a414d310cc5616e19d26525b29c0632d0.html#a414d310cc5616e19d26525b29c0632d0">TRANSFORM</a>, i, j));</div>
<div class="line"><a name="l00606"></a><span class="lineno">  606</span>&#160;                            }</div>
<div class="line"><a name="l00607"></a><span class="lineno">  607</span>&#160;                        } <span class="keywordflow">else</span> {</div>
<div class="line"><a name="l00608"></a><span class="lineno">  608</span>&#160;                            componentLinks.add(<span class="keyword">new</span> <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>(t2, type, i, j));</div>
<div class="line"><a name="l00609"></a><span class="lineno">  609</span>&#160;                        }</div>
<div class="line"><a name="l00610"></a><span class="lineno">  610</span>&#160;                    }</div>
<div class="line"><a name="l00611"></a><span class="lineno">  611</span>&#160;                    <span class="keywordflow">if</span> ((t2 instanceof <a class="code" href="../../d8/d73/classnars_1_1language_1_1Product.html">Product</a>) || (t2 instanceof <a class="code" href="../../db/dbb/classnars_1_1language_1_1ImageExt.html">ImageExt</a>) || (t2 instanceof <a class="code" href="../../df/de3/classnars_1_1language_1_1ImageInt.html">ImageInt</a>)) {</div>
<div class="line"><a name="l00612"></a><span class="lineno">  612</span>&#160;                        <span class="keywordflow">for</span> (<span class="keywordtype">int</span> k = 0; k &lt; ((<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a89000afae8017231889aaa549292d1e0.html#a89000afae8017231889aaa549292d1e0">CompoundTerm</a>) t2).size(); k++) {</div>
<div class="line"><a name="l00613"></a><span class="lineno">  613</span>&#160;                            t3 = ((<a class="code" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a89000afae8017231889aaa549292d1e0.html#a89000afae8017231889aaa549292d1e0">CompoundTerm</a>) t2).componentAt(k);</div>
<div class="line"><a name="l00614"></a><span class="lineno">  614</span>&#160;                            <span class="keywordflow">if</span> (t3.<a class="code" href="../../d8/db8/classnars_1_1language_1_1Term_a88297bdbbfb5f3e292783647b14f0c70.html#a88297bdbbfb5f3e292783647b14f0c70">isConstant</a>()) {                           <span class="comment">// third level</span></div>
<div class="line"><a name="l00615"></a><span class="lineno">  615</span>&#160;                                <span class="keywordflow">if</span> (type == <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_ae891eef9a9d8c49a597a0f61a16b4570.html#ae891eef9a9d8c49a597a0f61a16b4570">COMPOUND_CONDITION</a>) {</div>
<div class="line"><a name="l00616"></a><span class="lineno">  616</span>&#160;                                    componentLinks.add(<span class="keyword">new</span> <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>(t3, <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_a414d310cc5616e19d26525b29c0632d0.html#a414d310cc5616e19d26525b29c0632d0">TRANSFORM</a>, 0, i, j, k));</div>
<div class="line"><a name="l00617"></a><span class="lineno">  617</span>&#160;                                } <span class="keywordflow">else</span> {</div>
<div class="line"><a name="l00618"></a><span class="lineno">  618</span>&#160;                                    componentLinks.add(<span class="keyword">new</span> <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>(t3, <a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">TermLink</a>.<a class="code" href="../../d4/d8b/classnars_1_1entity_1_1TermLink_a414d310cc5616e19d26525b29c0632d0.html#a414d310cc5616e19d26525b29c0632d0">TRANSFORM</a>, i, j, k));</div>
<div class="line"><a name="l00619"></a><span class="lineno">  619</span>&#160;                                }</div>
<div class="line"><a name="l00620"></a><span class="lineno">  620</span>&#160;                            }</div>
<div class="line"><a name="l00621"></a><span class="lineno">  621</span>&#160;                        }</div>
<div class="line"><a name="l00622"></a><span class="lineno">  622</span>&#160;                    }</div>
<div class="line"><a name="l00623"></a><span class="lineno">  623</span>&#160;                }</div>
<div class="line"><a name="l00624"></a><span class="lineno">  624</span>&#160;            }</div>
<div class="line"><a name="l00625"></a><span class="lineno">  625</span>&#160;        }</div>
<div class="line"><a name="l00626"></a><span class="lineno">  626</span>&#160;    }</div>
<div class="line"><a name="l00627"></a><span class="lineno">  627</span>&#160;}</div>
<div class="ttc" id="classnars_1_1language_1_1SetExt_aa8f6526a59c3d7e578dd76a0eab75a0e_html_aa8f6526a59c3d7e578dd76a0eab75a0e"><div class="ttname"><a href="../../de/d1d/classnars_1_1language_1_1SetExt_aa8f6526a59c3d7e578dd76a0eab75a0e.html#aa8f6526a59c3d7e578dd76a0eab75a0e">nars.language.SetExt.make</a></div><div class="ttdeci">static Term make(Term t, Memory memory)</div><div class="ttdoc">Try to make a new set from one component. </div><div class="ttdef"><b>Definition:</b> <a href="../../d3/d96/SetExt_8java_source.html#l00067">SetExt.java:67</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1Conjunction_html"><div class="ttname"><a href="../../d6/d98/classnars_1_1language_1_1Conjunction.html">nars.language.Conjunction</a></div><div class="ttdoc">Conjunction of statements. </div><div class="ttdef"><b>Definition:</b> <a href="../../d6/d2f/Conjunction_8java_source.html#l00031">Conjunction.java:31</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1Term_a3aad4654016b8615fd4fa8a26668e1db_html_a3aad4654016b8615fd4fa8a26668e1db"><div class="ttname"><a href="../../d8/db8/classnars_1_1language_1_1Term_a3aad4654016b8615fd4fa8a26668e1db.html#a3aad4654016b8615fd4fa8a26668e1db">nars.language.Term.getName</a></div><div class="ttdeci">String getName()</div><div class="ttdoc">Reporting the name of the current Term. </div><div class="ttdef"><b>Definition:</b> <a href="../../d8/df2/Term_8java_source.html#l00068">Term.java:68</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_a56e6d3517a3f80921d8a5241320496f2_html_a56e6d3517a3f80921d8a5241320496f2"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a56e6d3517a3f80921d8a5241320496f2.html#a56e6d3517a3f80921d8a5241320496f2">nars.language.CompoundTerm.containAllComponents</a></div><div class="ttdeci">boolean containAllComponents(Term t)</div><div class="ttdoc">Check whether the compound contains all components of another term, or that term as a whole...</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00421">CompoundTerm.java:421</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_a9778c35f9b602bee6ccac6a06809e546_html_a9778c35f9b602bee6ccac6a06809e546"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a9778c35f9b602bee6ccac6a06809e546.html#a9778c35f9b602bee6ccac6a06809e546">nars.language.CompoundTerm.getComponents</a></div><div class="ttdeci">List&lt; Term &gt; getComponents()</div><div class="ttdoc">Get the component list. </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00364">CompoundTerm.java:364</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1Disjunction_a40b5b22629a8aa0f93da2439b201f59a_html_a40b5b22629a8aa0f93da2439b201f59a"><div class="ttname"><a href="../../d9/d5d/classnars_1_1language_1_1Disjunction_a40b5b22629a8aa0f93da2439b201f59a.html#a40b5b22629a8aa0f93da2439b201f59a">nars.language.Disjunction.make</a></div><div class="ttdeci">static Term make(Term term1, Term term2, Memory memory)</div><div class="ttdoc">Try to make a new Disjunction from two components. </div><div class="ttdef"><b>Definition:</b> <a href="../../da/db5/Disjunction_8java_source.html#l00068">Disjunction.java:68</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_a97f8c7c396de480e7a650b0afe4829a4_html_a97f8c7c396de480e7a650b0afe4829a4"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a97f8c7c396de480e7a650b0afe4829a4.html#a97f8c7c396de480e7a650b0afe4829a4">nars.language.CompoundTerm.makeSetName</a></div><div class="ttdeci">static String makeSetName(char opener, List&lt; Term &gt; arg, char closer)</div><div class="ttdoc">make the oldName of an ExtensionSet or IntensionSet </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00266">CompoundTerm.java:266</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1DifferenceExt_ad52f31a8b4209efc46c918c21120179d_html_ad52f31a8b4209efc46c918c21120179d"><div class="ttname"><a href="../../d3/d12/classnars_1_1language_1_1DifferenceExt_ad52f31a8b4209efc46c918c21120179d.html#ad52f31a8b4209efc46c918c21120179d">nars.language.DifferenceExt.make</a></div><div class="ttdeci">static Term make(ArrayList&lt; Term &gt; argList, Memory memory)</div><div class="ttdoc">Try to make a new DifferenceExt. </div><div class="ttdef"><b>Definition:</b> <a href="../../dd/d93/DifferenceExt_8java_source.html#l00067">DifferenceExt.java:67</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1ImageExt_html"><div class="ttname"><a href="../../db/dbb/classnars_1_1language_1_1ImageExt.html">nars.language.ImageExt</a></div><div class="ttdoc">An extension image. </div><div class="ttdef"><b>Definition:</b> <a href="../../dd/d62/ImageExt_8java_source.html#l00035">ImageExt.java:35</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_a575f70b59cb1810c54a28e75aa743868_html_a575f70b59cb1810c54a28e75aa743868"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a575f70b59cb1810c54a28e75aa743868.html#a575f70b59cb1810c54a28e75aa743868">nars.language.CompoundTerm.CompoundTerm</a></div><div class="ttdeci">CompoundTerm(ArrayList&lt; Term &gt; components)</div><div class="ttdoc">Constructor called from subclasses constructors to initialize the fields. </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00085">CompoundTerm.java:85</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1DifferenceExt_html"><div class="ttname"><a href="../../d3/d12/classnars_1_1language_1_1DifferenceExt.html">nars.language.DifferenceExt</a></div><div class="ttdoc">A compound term whose extension is the difference of the extensions of its components. </div><div class="ttdef"><b>Definition:</b> <a href="../../dd/d93/DifferenceExt_8java_source.html#l00031">DifferenceExt.java:31</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a71b8c0790cd38a4ad229405e996287d6_html_a71b8c0790cd38a4ad229405e996287d6"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a71b8c0790cd38a4ad229405e996287d6.html#a71b8c0790cd38a4ad229405e996287d6">nars.io.Symbols.IMAGE_EXT_OPERATOR</a></div><div class="ttdeci">static final String IMAGE_EXT_OPERATOR</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00062">Symbols.java:62</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1SetExt_html"><div class="ttname"><a href="../../de/d1d/classnars_1_1language_1_1SetExt.html">nars.language.SetExt</a></div><div class="ttdoc">An extensionally defined set, which contains one or more instances. </div><div class="ttdef"><b>Definition:</b> <a href="../../d3/d96/SetExt_8java_source.html#l00031">SetExt.java:31</a></div></div>
<div class="ttc" id="namespacenars_1_1entity_html"><div class="ttname"><a href="../../db/dec/namespacenars_1_1entity.html">nars.entity</a></div><div class="ttdef"><b>Definition:</b> <a href="../../d8/d59/BudgetValue_8java_source.html#l00021">BudgetValue.java:21</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_a26cc2a0123b22a3019ca81de239c5007_html_a26cc2a0123b22a3019ca81de239c5007"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a26cc2a0123b22a3019ca81de239c5007.html#a26cc2a0123b22a3019ca81de239c5007">nars.language.CompoundTerm.argumentsToList</a></div><div class="ttdeci">static ArrayList&lt; Term &gt; argumentsToList(Term t1, Term t2)</div><div class="ttdoc">build a component list from two terms </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00222">CompoundTerm.java:222</a></div></div>
<div class="ttc" id="namespacenars_1_1io_html"><div class="ttname"><a href="../../db/d64/namespacenars_1_1io.html">nars.io</a></div><div class="ttdef"><b>Definition:</b> <a href="../../d3/d26/ExperienceReader_8java_source.html#l00021">ExperienceReader.java:21</a></div></div>
<div class="ttc" id="classnars_1_1entity_1_1TermLink_html"><div class="ttname"><a href="../../d4/d8b/classnars_1_1entity_1_1TermLink.html">nars.entity.TermLink</a></div><div class="ttdoc">A link between a compound term and a component term. </div><div class="ttdef"><b>Definition:</b> <a href="../../db/daa/TermLink_8java_source.html#l00038">TermLink.java:38</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_a43cdaac00db9c962696e13abd3e4a4c4_html_a43cdaac00db9c962696e13abd3e4a4c4"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a43cdaac00db9c962696e13abd3e4a4c4.html#a43cdaac00db9c962696e13abd3e4a4c4">nars.language.CompoundTerm.prepareComponentLinks</a></div><div class="ttdeci">void prepareComponentLinks(ArrayList&lt; TermLink &gt; componentLinks, short type, CompoundTerm term)</div><div class="ttdoc">Collect TermLink templates into a list, go down one level except in special cases. </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00588">CompoundTerm.java:588</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1Term_ae2dba162b71bb9b806f54832249a260c_html_ae2dba162b71bb9b806f54832249a260c"><div class="ttname"><a href="../../d8/db8/classnars_1_1language_1_1Term_ae2dba162b71bb9b806f54832249a260c.html#ae2dba162b71bb9b806f54832249a260c">nars.language.Term.clone</a></div><div class="ttdeci">Object clone()</div><div class="ttdoc">Make a new Term with the same name. </div><div class="ttdef"><b>Definition:</b> <a href="../../d8/df2/Term_8java_source.html#l00083">Term.java:83</a></div></div>
<div class="ttc" id="classnars_1_1storage_1_1Memory_html"><div class="ttname"><a href="../../d8/df4/classnars_1_1storage_1_1Memory.html">nars.storage.Memory</a></div><div class="ttdoc">The memory of the system. </div><div class="ttdef"><b>Definition:</b> <a href="../../db/d0c/Memory_8java_source.html#l00051">Memory.java:51</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a030df2adb13fa53908e2edbac12fb085_html_a030df2adb13fa53908e2edbac12fb085"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a030df2adb13fa53908e2edbac12fb085.html#a030df2adb13fa53908e2edbac12fb085">nars.io.Symbols.CONJUNCTION_OPERATOR</a></div><div class="ttdeci">static final String CONJUNCTION_OPERATOR</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00068">Symbols.java:68</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_a33b6665fb080ce026a890ff824e213ee_html_a33b6665fb080ce026a890ff824e213ee"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a33b6665fb080ce026a890ff824e213ee.html#a33b6665fb080ce026a890ff824e213ee">nars.language.CompoundTerm.containTerm</a></div><div class="ttdeci">boolean containTerm(Term target)</div><div class="ttdoc">Recursively check if a compound contains a term. </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00407">CompoundTerm.java:407</a></div></div>
<div class="ttc" id="classnars_1_1entity_1_1TermLink_a6c0e98a7948be8d940ba6afc52d43fea_html_a6c0e98a7948be8d940ba6afc52d43fea"><div class="ttname"><a href="../../d4/d8b/classnars_1_1entity_1_1TermLink_a6c0e98a7948be8d940ba6afc52d43fea.html#a6c0e98a7948be8d940ba6afc52d43fea">nars.entity.TermLink.COMPOUND_STATEMENT</a></div><div class="ttdeci">static final short COMPOUND_STATEMENT</div><div class="ttdoc">At C, point to <C --> A> </div><div class="ttdef"><b>Definition:</b> <a href="../../db/daa/TermLink_8java_source.html#l00048">TermLink.java:48</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_ab78cb07d148cc233baf7f43ee8d302e9_html_ab78cb07d148cc233baf7f43ee8d302e9"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_ab78cb07d148cc233baf7f43ee8d302e9.html#ab78cb07d148cc233baf7f43ee8d302e9">nars.io.Symbols.ARGUMENT_SEPARATOR</a></div><div class="ttdeci">static final char ARGUMENT_SEPARATOR</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00053">Symbols.java:53</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_aa26a304f6249c185836d8fde8b8f17a8_html_aa26a304f6249c185836d8fde8b8f17a8"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_aa26a304f6249c185836d8fde8b8f17a8.html#aa26a304f6249c185836d8fde8b8f17a8">nars.language.CompoundTerm.makeName</a></div><div class="ttdeci">String makeName()</div><div class="ttdoc">default method to make the oldName of the current term from existing fields </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00234">CompoundTerm.java:234</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_a786848bcf438b17b9aa566b9b0c04e5f_html_a786848bcf438b17b9aa566b9b0c04e5f"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a786848bcf438b17b9aa566b9b0c04e5f.html#a786848bcf438b17b9aa566b9b0c04e5f">nars.language.CompoundTerm.operator</a></div><div class="ttdeci">abstract String operator()</div><div class="ttdoc">Abstract method to get the operator of the compound. </div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_a5923e4b211c0c1e1e53b39ebed2c7be1_html_a5923e4b211c0c1e1e53b39ebed2c7be1"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a5923e4b211c0c1e1e53b39ebed2c7be1.html#a5923e4b211c0c1e1e53b39ebed2c7be1">nars.language.CompoundTerm.cloneComponents</a></div><div class="ttdeci">ArrayList&lt; Term &gt; cloneComponents()</div><div class="ttdoc">Clone the component list. </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00372">CompoundTerm.java:372</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_ad637ccaf9aecf41f3961d095900f2d5e_html_ad637ccaf9aecf41f3961d095900f2d5e"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ad637ccaf9aecf41f3961d095900f2d5e.html#ad637ccaf9aecf41f3961d095900f2d5e">nars.language.CompoundTerm.containComponent</a></div><div class="ttdeci">boolean containComponent(Term t)</div><div class="ttdoc">Check whether the compound contains a certain component. </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00397">CompoundTerm.java:397</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1Statement_html"><div class="ttname"><a href="../../d1/d5e/classnars_1_1language_1_1Statement.html">nars.language.Statement</a></div><div class="ttdoc">A statement is a compound term, consisting of a subject, a predicate, and a relation symbol in betwee...</div><div class="ttdef"><b>Definition:</b> <a href="../../d2/d44/Statement_8java_source.html#l00033">Statement.java:33</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_ab9662b963cff657c1089b306d3594efe_html_ab9662b963cff657c1089b306d3594efe"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_ab9662b963cff657c1089b306d3594efe.html#ab9662b963cff657c1089b306d3594efe">nars.io.Symbols.COMPOUND_TERM_CLOSER</a></div><div class="ttdeci">static final char COMPOUND_TERM_CLOSER</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00044">Symbols.java:44</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_ae4b161399fd4fa864f9a5cf6e1a4ed83_html_ae4b161399fd4fa864f9a5cf6e1a4ed83"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ae4b161399fd4fa864f9a5cf6e1a4ed83.html#ae4b161399fd4fa864f9a5cf6e1a4ed83">nars.language.CompoundTerm.make</a></div><div class="ttdeci">static Term make(CompoundTerm compound, ArrayList&lt; Term &gt; components, Memory memory)</div><div class="ttdoc">Try to make a compound term from a template and a list of components. </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00130">CompoundTerm.java:130</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a3f863c930e8f4576f1fea1264175b2df_html_a3f863c930e8f4576f1fea1264175b2df"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a3f863c930e8f4576f1fea1264175b2df.html#a3f863c930e8f4576f1fea1264175b2df">nars.io.Symbols.IMAGE_PLACE_HOLDER</a></div><div class="ttdeci">static final char IMAGE_PLACE_HOLDER</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00054">Symbols.java:54</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_adf2b3d71c10b80f512455c952137b200_html_adf2b3d71c10b80f512455c952137b200"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_adf2b3d71c10b80f512455c952137b200.html#adf2b3d71c10b80f512455c952137b200">nars.language.CompoundTerm.makeImageName</a></div><div class="ttdeci">static String makeImageName(String op, List&lt; Term &gt; arg, int relationIndex)</div><div class="ttdoc">default method to make the oldName of an image term from given fields </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00285">CompoundTerm.java:285</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1ImageInt_html"><div class="ttname"><a href="../../df/de3/classnars_1_1language_1_1ImageInt.html">nars.language.ImageInt</a></div><div class="ttdoc">An intension image. </div><div class="ttdef"><b>Definition:</b> <a href="../../d7/d9f/ImageInt_8java_source.html#l00035">ImageInt.java:35</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_ac19f90fbe8b8ebe78462fa13e7ebca74_html_ac19f90fbe8b8ebe78462fa13e7ebca74"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ac19f90fbe8b8ebe78462fa13e7ebca74.html#ac19f90fbe8b8ebe78462fa13e7ebca74">nars.language.CompoundTerm.renameVariables</a></div><div class="ttdeci">void renameVariables()</div><div class="ttdoc">Rename the variables in the compound. </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00505">CompoundTerm.java:505</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1DifferenceInt_html"><div class="ttname"><a href="../../d4/d5b/classnars_1_1language_1_1DifferenceInt.html">nars.language.DifferenceInt</a></div><div class="ttdoc">A compound term whose extension is the difference of the intensions of its components. </div><div class="ttdef"><b>Definition:</b> <a href="../../de/d99/DifferenceInt_8java_source.html#l00031">DifferenceInt.java:31</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_a0fcbcdbbb9e451888df7a1216715a8d1_html_a0fcbcdbbb9e451888df7a1216715a8d1"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a0fcbcdbbb9e451888df7a1216715a8d1.html#a0fcbcdbbb9e451888df7a1216715a8d1">nars.language.CompoundTerm.prepareComponentLinks</a></div><div class="ttdeci">ArrayList&lt; TermLink &gt; prepareComponentLinks()</div><div class="ttdoc">Build TermLink templates to constant components and subcomponents. </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00574">CompoundTerm.java:574</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_html"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols.html">nars.io.Symbols</a></div><div class="ttdoc">The ASCII symbols used in I/O. </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00026">Symbols.java:26</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_aba82571567444c65efde4cdba1733ac9_html_aba82571567444c65efde4cdba1733ac9"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_aba82571567444c65efde4cdba1733ac9.html#aba82571567444c65efde4cdba1733ac9">nars.language.CompoundTerm.setConstant</a></div><div class="ttdeci">void setConstant(boolean isConstant)</div><div class="ttdoc">Set the constant status. </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00326">CompoundTerm.java:326</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_a09c88a408c16b985b0db4bc602a170aa_html_a09c88a408c16b985b0db4bc602a170aa"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a09c88a408c16b985b0db4bc602a170aa.html#a09c88a408c16b985b0db4bc602a170aa">nars.language.CompoundTerm.reduceComponents</a></div><div class="ttdeci">static Term reduceComponents(CompoundTerm t1, Term t2, Memory memory)</div><div class="ttdoc">Try to remove a component from a compound. </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00457">CompoundTerm.java:457</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1SetInt_html"><div class="ttname"><a href="../../d2/dfc/classnars_1_1language_1_1SetInt.html">nars.language.SetInt</a></div><div class="ttdoc">An intensionally defined set, which contains one or more instances defining the Term. </div><div class="ttdef"><b>Definition:</b> <a href="../../dc/dfd/SetInt_8java_source.html#l00031">SetInt.java:31</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_adb227f1a29cc4678727515cde5bd34c9_html_adb227f1a29cc4678727515cde5bd34c9"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_adb227f1a29cc4678727515cde5bd34c9.html#adb227f1a29cc4678727515cde5bd34c9">nars.io.Symbols.PRODUCT_OPERATOR</a></div><div class="ttdeci">static final String PRODUCT_OPERATOR</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00061">Symbols.java:61</a></div></div>
<div class="ttc" id="namespacenars_1_1storage_html"><div class="ttname"><a href="../../de/ddc/namespacenars_1_1storage.html">nars.storage</a></div><div class="ttdef"><b>Definition:</b> <a href="../../d6/dce/Bag_8java_source.html#l00021">Bag.java:21</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_ac0ff22736c16f3735a1783a30bedc141_html_ac0ff22736c16f3735a1783a30bedc141"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_ac0ff22736c16f3735a1783a30bedc141.html#ac0ff22736c16f3735a1783a30bedc141">nars.io.Symbols.DISJUNCTION_OPERATOR</a></div><div class="ttdeci">static final String DISJUNCTION_OPERATOR</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00067">Symbols.java:67</a></div></div>
<div class="ttc" id="classnars_1_1entity_1_1TermLink_a414d310cc5616e19d26525b29c0632d0_html_a414d310cc5616e19d26525b29c0632d0"><div class="ttname"><a href="../../d4/d8b/classnars_1_1entity_1_1TermLink_a414d310cc5616e19d26525b29c0632d0.html#a414d310cc5616e19d26525b29c0632d0">nars.entity.TermLink.TRANSFORM</a></div><div class="ttdeci">static final short TRANSFORM</div><div class="ttdoc">At C, point to <(*, C, B) –> A>; TaskLink only. </div><div class="ttdef"><b>Definition:</b> <a href="../../db/daa/TermLink_8java_source.html#l00054">TermLink.java:54</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_aee0ef6fd533b58caf22bee2a98eef67d_html_aee0ef6fd533b58caf22bee2a98eef67d"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_aee0ef6fd533b58caf22bee2a98eef67d.html#aee0ef6fd533b58caf22bee2a98eef67d">nars.language.CompoundTerm.isConstant</a></div><div class="ttdeci">boolean isConstant()</div><div class="ttdoc">check if the term contains free variable </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00318">CompoundTerm.java:318</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1Product_a7cdc5cc66b8a8083cfab9abf39b529c7_html_a7cdc5cc66b8a8083cfab9abf39b529c7"><div class="ttname"><a href="../../d8/d73/classnars_1_1language_1_1Product_a7cdc5cc66b8a8083cfab9abf39b529c7.html#a7cdc5cc66b8a8083cfab9abf39b529c7">nars.language.Product.make</a></div><div class="ttdeci">static Term make(ArrayList&lt; Term &gt; argument, Memory memory)</div><div class="ttdoc">Try to make a new compound. </div><div class="ttdef"><b>Definition:</b> <a href="../../db/df9/Product_8java_source.html#l00068">Product.java:68</a></div></div>
<div class="ttc" id="classnars_1_1entity_1_1TermLink_ae891eef9a9d8c49a597a0f61a16b4570_html_ae891eef9a9d8c49a597a0f61a16b4570"><div class="ttname"><a href="../../d4/d8b/classnars_1_1entity_1_1TermLink_ae891eef9a9d8c49a597a0f61a16b4570.html#ae891eef9a9d8c49a597a0f61a16b4570">nars.entity.TermLink.COMPOUND_CONDITION</a></div><div class="ttdeci">static final short COMPOUND_CONDITION</div><div class="ttdoc">At C, point to <(&&, C, B) ==> A> </div><div class="ttdef"><b>Definition:</b> <a href="../../db/daa/TermLink_8java_source.html#l00052">TermLink.java:52</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1IntersectionExt_html"><div class="ttname"><a href="../../d2/d68/classnars_1_1language_1_1IntersectionExt.html">nars.language.IntersectionExt</a></div><div class="ttdoc">A compound term whose extension is the intersection of the extensions of its components. </div><div class="ttdef"><b>Definition:</b> <a href="../../da/d42/IntersectionExt_8java_source.html#l00031">IntersectionExt.java:31</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_a4f04fa1bc71ade41d35e664ff4df5475_html_a4f04fa1bc71ade41d35e664ff4df5475"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a4f04fa1bc71ade41d35e664ff4df5475.html#a4f04fa1bc71ade41d35e664ff4df5475">nars.language.CompoundTerm.getComplexity</a></div><div class="ttdeci">int getComplexity()</div><div class="ttdoc">report the term&#39;s syntactic complexity </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00309">CompoundTerm.java:309</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1Term_a059f44677d4580c0eef198dfba957b6b_html_a059f44677d4580c0eef198dfba957b6b"><div class="ttname"><a href="../../d8/db8/classnars_1_1language_1_1Term_a059f44677d4580c0eef198dfba957b6b.html#a059f44677d4580c0eef198dfba957b6b">nars.language.Term.name</a></div><div class="ttdeci">String name</div><div class="ttdoc">A Term is identified uniquely by its name, a sequence of characters in a given alphabet (ASCII or Uni...</div><div class="ttdef"><b>Definition:</b> <a href="../../d8/df2/Term_8java_source.html#l00046">Term.java:46</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_aa28e96a54f884dc827849fc17c372bff_html_aa28e96a54f884dc827849fc17c372bff"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_aa28e96a54f884dc827849fc17c372bff.html#aa28e96a54f884dc827849fc17c372bff">nars.language.CompoundTerm.calcComplexity</a></div><div class="ttdeci">void calcComplexity()</div><div class="ttdoc">The complexity of the term is the sum of those of the components plus 1. </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00115">CompoundTerm.java:115</a></div></div>
<div class="ttc" id="classnars_1_1entity_1_1TermLink_ad95ac3ddd10cac258cecddba9b8a7fa1_html_ad95ac3ddd10cac258cecddba9b8a7fa1"><div class="ttname"><a href="../../d4/d8b/classnars_1_1entity_1_1TermLink_ad95ac3ddd10cac258cecddba9b8a7fa1.html#ad95ac3ddd10cac258cecddba9b8a7fa1">nars.entity.TermLink.COMPOUND</a></div><div class="ttdeci">static final short COMPOUND</div><div class="ttdoc">At C, point to (&&, A, C) </div><div class="ttdef"><b>Definition:</b> <a href="../../db/daa/TermLink_8java_source.html#l00044">TermLink.java:44</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a5bc9e12a9a70988c241652f088fa29d3_html_a5bc9e12a9a70988c241652f088fa29d3"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a5bc9e12a9a70988c241652f088fa29d3.html#a5bc9e12a9a70988c241652f088fa29d3">nars.io.Symbols.IMAGE_INT_OPERATOR</a></div><div class="ttdeci">static final String IMAGE_INT_OPERATOR</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00063">Symbols.java:63</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_a4800a7c8dd9043a2bffecd669aa4cfe2_html_a4800a7c8dd9043a2bffecd669aa4cfe2"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a4800a7c8dd9043a2bffecd669aa4cfe2.html#a4800a7c8dd9043a2bffecd669aa4cfe2">nars.language.CompoundTerm.CompoundTerm</a></div><div class="ttdeci">CompoundTerm(String name, ArrayList&lt; Term &gt; components, boolean isConstant, short complexity)</div><div class="ttdoc">Constructor called from subclasses constructors to clone the fields. </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00068">CompoundTerm.java:68</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_ad314725cbe3608c918443097867dc24e_html_ad314725cbe3608c918443097867dc24e"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_ad314725cbe3608c918443097867dc24e.html#ad314725cbe3608c918443097867dc24e">nars.io.Symbols.DIFFERENCE_INT_OPERATOR</a></div><div class="ttdeci">static final String DIFFERENCE_INT_OPERATOR</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00060">Symbols.java:60</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_ae7288e11164656038caf396c2c4b7a58_html_ae7288e11164656038caf396c2c4b7a58"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_ae7288e11164656038caf396c2c4b7a58.html#ae7288e11164656038caf396c2c4b7a58">nars.io.Symbols.COMPOUND_TERM_OPENER</a></div><div class="ttdeci">static final char COMPOUND_TERM_OPENER</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00043">Symbols.java:43</a></div></div>
<div class="ttc" id="namespacenars_html"><div class="ttname"><a href="../../d7/d81/namespacenars.html">nars</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_a80748e3181cffb66ac216637477507c3_html_a80748e3181cffb66ac216637477507c3"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a80748e3181cffb66ac216637477507c3.html#a80748e3181cffb66ac216637477507c3">nars.language.CompoundTerm.make</a></div><div class="ttdeci">static Term make(String op, ArrayList&lt; Term &gt; arg, Memory memory)</div><div class="ttdoc">Try to make a compound term from an operator and a list of components. </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00149">CompoundTerm.java:149</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1ImageInt_ad05e4231ed31d78ad4c8b4fefbc964fa_html_ad05e4231ed31d78ad4c8b4fefbc964fa"><div class="ttname"><a href="../../df/de3/classnars_1_1language_1_1ImageInt_ad05e4231ed31d78ad4c8b4fefbc964fa.html#ad05e4231ed31d78ad4c8b4fefbc964fa">nars.language.ImageInt.make</a></div><div class="ttdeci">static Term make(List&lt; Term &gt; argList, Memory memory)</div><div class="ttdoc">Try to make a new ImageExt. </div><div class="ttdef"><b>Definition:</b> <a href="../../d7/d9f/ImageInt_8java_source.html#l00078">ImageInt.java:78</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1Conjunction_af8d44d1d196f833eefa37078a94b3ed3_html_af8d44d1d196f833eefa37078a94b3ed3"><div class="ttname"><a href="../../d6/d98/classnars_1_1language_1_1Conjunction_af8d44d1d196f833eefa37078a94b3ed3.html#af8d44d1d196f833eefa37078a94b3ed3">nars.language.Conjunction.make</a></div><div class="ttdeci">static Term make(ArrayList&lt; Term &gt; argList, Memory memory)</div><div class="ttdoc">Try to make a new compound from a list of components. </div><div class="ttdef"><b>Definition:</b> <a href="../../d6/d2f/Conjunction_8java_source.html#l00083">Conjunction.java:83</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1IntersectionInt_acc3bb6e31a10d204254e827435391988_html_acc3bb6e31a10d204254e827435391988"><div class="ttname"><a href="../../d9/df4/classnars_1_1language_1_1IntersectionInt_acc3bb6e31a10d204254e827435391988.html#acc3bb6e31a10d204254e827435391988">nars.language.IntersectionInt.make</a></div><div class="ttdeci">static Term make(Term term1, Term term2, Memory memory)</div><div class="ttdoc">Try to make a new compound from two components. </div><div class="ttdef"><b>Definition:</b> <a href="../../de/d9f/IntersectionInt_8java_source.html#l00068">IntersectionInt.java:68</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1Term_ad85f45a7858737445d5158801774ff5f_html_ad85f45a7858737445d5158801774ff5f"><div class="ttname"><a href="../../d8/db8/classnars_1_1language_1_1Term_ad85f45a7858737445d5158801774ff5f.html#ad85f45a7858737445d5158801774ff5f">nars.language.Term.equals</a></div><div class="ttdeci">boolean equals(Object that)</div><div class="ttdoc">Equal terms have identical name, though not necessarily the same reference. </div><div class="ttdef"><b>Definition:</b> <a href="../../d8/df2/Term_8java_source.html#l00094">Term.java:94</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_a89000afae8017231889aaa549292d1e0_html_a89000afae8017231889aaa549292d1e0"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a89000afae8017231889aaa549292d1e0.html#a89000afae8017231889aaa549292d1e0">nars.language.CompoundTerm.CompoundTerm</a></div><div class="ttdeci">CompoundTerm()</div><div class="ttdoc">Default constructor. </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00078">CompoundTerm.java:78</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1Negation_a8c1310db584c5aebf595b305a41ad359_html_a8c1310db584c5aebf595b305a41ad359"><div class="ttname"><a href="../../da/d1e/classnars_1_1language_1_1Negation_a8c1310db584c5aebf595b305a41ad359.html#a8c1310db584c5aebf595b305a41ad359">nars.language.Negation.make</a></div><div class="ttdeci">static Term make(Term t, Memory memory)</div><div class="ttdoc">Try to make a Negation of one component. </div><div class="ttdef"><b>Definition:</b> <a href="../../d0/d66/Negation_8java_source.html#l00067">Negation.java:67</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1Term_a88297bdbbfb5f3e292783647b14f0c70_html_a88297bdbbfb5f3e292783647b14f0c70"><div class="ttname"><a href="../../d8/db8/classnars_1_1language_1_1Term_a88297bdbbfb5f3e292783647b14f0c70.html#a88297bdbbfb5f3e292783647b14f0c70">nars.language.Term.isConstant</a></div><div class="ttdeci">boolean isConstant()</div><div class="ttdoc">Check whether the current Term can name a Concept. </div><div class="ttdef"><b>Definition:</b> <a href="../../d8/df2/Term_8java_source.html#l00113">Term.java:113</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_ac81d297c59bab29f9f4f0ab45ab64b4f_html_ac81d297c59bab29f9f4f0ab45ab64b4f"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ac81d297c59bab29f9f4f0ab45ab64b4f.html#ac81d297c59bab29f9f4f0ab45ab64b4f">nars.language.CompoundTerm.renameVariables</a></div><div class="ttdeci">void renameVariables(HashMap&lt; Variable, Variable &gt; map)</div><div class="ttdoc">Rename the variables in the compound. </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00517">CompoundTerm.java:517</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_a5e337444f74e870264191c7fbc13cd6d_html_a5e337444f74e870264191c7fbc13cd6d"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a5e337444f74e870264191c7fbc13cd6d.html#a5e337444f74e870264191c7fbc13cd6d">nars.language.CompoundTerm.complexity</a></div><div class="ttdeci">short complexity</div><div class="ttdoc">syntactic complexity of the compound, the sum of those of its components plus 1 </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00041">CompoundTerm.java:41</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1Variable_a2c36e85a56295a27aba7a4ee162f5850_html_a2c36e85a56295a27aba7a4ee162f5850"><div class="ttname"><a href="../../de/da5/classnars_1_1language_1_1Variable_a2c36e85a56295a27aba7a4ee162f5850.html#a2c36e85a56295a27aba7a4ee162f5850">nars.language.Variable.containVar</a></div><div class="ttdeci">static boolean containVar(String n)</div><div class="ttdoc">Check whether a string represent a name of a term that contains a variable. </div><div class="ttdef"><b>Definition:</b> <a href="../../d2/de0/Variable_8java_source.html#l00098">Variable.java:98</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_ac81c5851f664320ddec435641f198b03_html_ac81c5851f664320ddec435641f198b03"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ac81c5851f664320ddec435641f198b03.html#ac81c5851f664320ddec435641f198b03">nars.language.CompoundTerm.size</a></div><div class="ttdeci">int size()</div><div class="ttdoc">get the number of components </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00347">CompoundTerm.java:347</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a3bc6ba8295af16e7dc108ea61af132c4_html_a3bc6ba8295af16e7dc108ea61af132c4"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a3bc6ba8295af16e7dc108ea61af132c4.html#a3bc6ba8295af16e7dc108ea61af132c4">nars.io.Symbols.SET_EXT_OPENER</a></div><div class="ttdeci">static final char SET_EXT_OPENER</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00047">Symbols.java:47</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_af1c54fdf9aaf9940b09080bb3abf0029_html_af1c54fdf9aaf9940b09080bb3abf0029"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_af1c54fdf9aaf9940b09080bb3abf0029.html#af1c54fdf9aaf9940b09080bb3abf0029">nars.io.Symbols.INTERSECTION_INT_OPERATOR</a></div><div class="ttdeci">static final String INTERSECTION_INT_OPERATOR</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00058">Symbols.java:58</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1Disjunction_html"><div class="ttname"><a href="../../d9/d5d/classnars_1_1language_1_1Disjunction.html">nars.language.Disjunction</a></div><div class="ttdoc">A disjunction of Statements. </div><div class="ttdef"><b>Definition:</b> <a href="../../da/db5/Disjunction_8java_source.html#l00031">Disjunction.java:31</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_a623c88183d85bd42464640937ea8ccb5_html_a623c88183d85bd42464640937ea8ccb5"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a623c88183d85bd42464640937ea8ccb5.html#a623c88183d85bd42464640937ea8ccb5">nars.language.CompoundTerm.setComponent</a></div><div class="ttdeci">static Term setComponent(CompoundTerm compound, int index, Term t, Memory memory)</div><div class="ttdoc">Try to replace a component in a compound at a given index by another one. </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00476">CompoundTerm.java:476</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a54fee577660cb416592b3ee290e6a7c5_html_a54fee577660cb416592b3ee290e6a7c5"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a54fee577660cb416592b3ee290e6a7c5.html#a54fee577660cb416592b3ee290e6a7c5">nars.io.Symbols.SET_INT_OPENER</a></div><div class="ttdeci">static final char SET_INT_OPENER</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00049">Symbols.java:49</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1Product_html"><div class="ttname"><a href="../../d8/d73/classnars_1_1language_1_1Product.html">nars.language.Product</a></div><div class="ttdoc">A Product is a sequence of terms. </div><div class="ttdef"><b>Definition:</b> <a href="../../db/df9/Product_8java_source.html#l00032">Product.java:32</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1Equivalence_html"><div class="ttname"><a href="../../d1/d8b/classnars_1_1language_1_1Equivalence.html">nars.language.Equivalence</a></div><div class="ttdoc">A Statement about an Equivalence relation. </div><div class="ttdef"><b>Definition:</b> <a href="../../d3/dcc/Equivalence_8java_source.html#l00031">Equivalence.java:31</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_a8d1e610c509fa096c6b52eb5fe06d59b_html_a8d1e610c509fa096c6b52eb5fe06d59b"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a8d1e610c509fa096c6b52eb5fe06d59b.html#a8d1e610c509fa096c6b52eb5fe06d59b">nars.language.CompoundTerm.makeCompoundName</a></div><div class="ttdeci">static String makeCompoundName(String op, Iterable&lt; Term &gt; arg)</div><div class="ttdoc">default method to make the oldName of a compound term from given fields </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00244">CompoundTerm.java:244</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1Term_html"><div class="ttname"><a href="../../d8/db8/classnars_1_1language_1_1Term.html">nars.language.Term</a></div><div class="ttdoc">Term is the basic component of Narsese, and the object of processing in NARS. </div><div class="ttdef"><b>Definition:</b> <a href="../../d8/df2/Term_8java_source.html#l00040">Term.java:40</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1Negation_html"><div class="ttname"><a href="../../da/d1e/classnars_1_1language_1_1Negation.html">nars.language.Negation</a></div><div class="ttdoc">A negation of a Statement. </div><div class="ttdef"><b>Definition:</b> <a href="../../d0/d66/Negation_8java_source.html#l00031">Negation.java:31</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_a18e066f782a0070b137132a6a2d732d6_html_a18e066f782a0070b137132a6a2d732d6"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a18e066f782a0070b137132a6a2d732d6.html#a18e066f782a0070b137132a6a2d732d6">nars.language.CompoundTerm.containVar</a></div><div class="ttdeci">boolean containVar()</div><div class="ttdoc">Whether this compound term contains any variable term. </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00497">CompoundTerm.java:497</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_ac93002c2b591747e36c5f85d24a9f737_html_ac93002c2b591747e36c5f85d24a9f737"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ac93002c2b591747e36c5f85d24a9f737.html#ac93002c2b591747e36c5f85d24a9f737">nars.language.CompoundTerm.CompoundTerm</a></div><div class="ttdeci">CompoundTerm(String name, ArrayList&lt; Term &gt; components)</div><div class="ttdoc">Constructor called from subclasses constructors to initialize the fields. </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00097">CompoundTerm.java:97</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1DifferenceInt_a95a7042bd4175009db4d4d6cb2850a10_html_a95a7042bd4175009db4d4d6cb2850a10"><div class="ttname"><a href="../../d4/d5b/classnars_1_1language_1_1DifferenceInt_a95a7042bd4175009db4d4d6cb2850a10.html#a95a7042bd4175009db4d4d6cb2850a10">nars.language.DifferenceInt.make</a></div><div class="ttdeci">static Term make(ArrayList&lt; Term &gt; argList, Memory memory)</div><div class="ttdoc">Try to make a new DifferenceExt. </div><div class="ttdef"><b>Definition:</b> <a href="../../de/d99/DifferenceInt_8java_source.html#l00067">DifferenceInt.java:67</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_a135cac9f3b8eecfc2549ed9c445043ec_html_a135cac9f3b8eecfc2549ed9c445043ec"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_a135cac9f3b8eecfc2549ed9c445043ec.html#a135cac9f3b8eecfc2549ed9c445043ec">nars.io.Symbols.NEGATION_OPERATOR</a></div><div class="ttdeci">static final String NEGATION_OPERATOR</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00066">Symbols.java:66</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_a4f199daa7588f86b81b0912a5e52dfe0_html_a4f199daa7588f86b81b0912a5e52dfe0"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a4f199daa7588f86b81b0912a5e52dfe0.html#a4f199daa7588f86b81b0912a5e52dfe0">nars.language.CompoundTerm.cloneList</a></div><div class="ttdeci">static ArrayList&lt; Term &gt; cloneList(ArrayList&lt; Term &gt; original)</div><div class="ttdoc">Deep clone an array list of terms. </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00381">CompoundTerm.java:381</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1IntersectionExt_a84dcdd3c63e7219e8c3da43e163f2d78_html_a84dcdd3c63e7219e8c3da43e163f2d78"><div class="ttname"><a href="../../d2/d68/classnars_1_1language_1_1IntersectionExt_a84dcdd3c63e7219e8c3da43e163f2d78.html#a84dcdd3c63e7219e8c3da43e163f2d78">nars.language.IntersectionExt.make</a></div><div class="ttdeci">static Term make(Term term1, Term term2, Memory memory)</div><div class="ttdoc">Try to make a new compound from two components. </div><div class="ttdef"><b>Definition:</b> <a href="../../da/d42/IntersectionExt_8java_source.html#l00068">IntersectionExt.java:68</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_ad340d3bb55dcfcdf237fe4ee225d3cbb_html_ad340d3bb55dcfcdf237fe4ee225d3cbb"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ad340d3bb55dcfcdf237fe4ee225d3cbb.html#ad340d3bb55dcfcdf237fe4ee225d3cbb">nars.language.CompoundTerm.components</a></div><div class="ttdeci">ArrayList&lt; Term &gt; components</div><div class="ttdoc">list of (direct) components </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00039">CompoundTerm.java:39</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_ad1d227398882f18af4624dd506c807c5_html_ad1d227398882f18af4624dd506c807c5"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_ad1d227398882f18af4624dd506c807c5.html#ad1d227398882f18af4624dd506c807c5">nars.language.CompoundTerm.isOperator</a></div><div class="ttdeci">static boolean isOperator(String s)</div><div class="ttdoc">Check CompoundTerm operator symbol. </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00198">CompoundTerm.java:198</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_a7899e3d2c69785eeb83f2b78bf474da6_html_a7899e3d2c69785eeb83f2b78bf474da6"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a7899e3d2c69785eeb83f2b78bf474da6.html#a7899e3d2c69785eeb83f2b78bf474da6">nars.language.CompoundTerm.applySubstitute</a></div><div class="ttdeci">void applySubstitute(HashMap&lt; Term, Term &gt; subs)</div><div class="ttdoc">Recursively apply a substitute to the current CompoundTerm. </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00547">CompoundTerm.java:547</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_acedae916705e9fa1669391a7d728b840_html_acedae916705e9fa1669391a7d728b840"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_acedae916705e9fa1669391a7d728b840.html#acedae916705e9fa1669391a7d728b840">nars.language.CompoundTerm.componentAt</a></div><div class="ttdeci">Term componentAt(int i)</div><div class="ttdoc">get a component by index </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00356">CompoundTerm.java:356</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_afa61c8aa9aac1ad79977ca20c2922cd7_html_afa61c8aa9aac1ad79977ca20c2922cd7"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_afa61c8aa9aac1ad79977ca20c2922cd7.html#afa61c8aa9aac1ad79977ca20c2922cd7">nars.language.CompoundTerm.addComponents</a></div><div class="ttdeci">static Term addComponents(CompoundTerm t1, Term t2, Memory memory)</div><div class="ttdoc">Try to add a component into a compound. </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00436">CompoundTerm.java:436</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_a312b373f0e3a6b8124a1f17707ab8c87_html_a312b373f0e3a6b8124a1f17707ab8c87"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a312b373f0e3a6b8124a1f17707ab8c87.html#a312b373f0e3a6b8124a1f17707ab8c87">nars.language.CompoundTerm.setName</a></div><div class="ttdeci">void setName(String s)</div><div class="ttdoc">Change the oldName of a CompoundTerm, called after variable substitution. </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00108">CompoundTerm.java:108</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_html"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">nars.language.CompoundTerm</a></div><div class="ttdoc">A CompoundTerm is a Term with internal (syntactic) structure. </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00036">CompoundTerm.java:36</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1Variable_html"><div class="ttname"><a href="../../de/da5/classnars_1_1language_1_1Variable.html">nars.language.Variable</a></div><div class="ttdoc">A variable term, which does not correspond to a concept. </div><div class="ttdef"><b>Definition:</b> <a href="../../d2/de0/Variable_8java_source.html#l00030">Variable.java:30</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1SetInt_aaea0f2cc2ca804779d1bf346beb58fa1_html_aaea0f2cc2ca804779d1bf346beb58fa1"><div class="ttname"><a href="../../d2/dfc/classnars_1_1language_1_1SetInt_aaea0f2cc2ca804779d1bf346beb58fa1.html#aaea0f2cc2ca804779d1bf346beb58fa1">nars.language.SetInt.make</a></div><div class="ttdeci">static Term make(Term t, Memory memory)</div><div class="ttdoc">Try to make a new set from one component. </div><div class="ttdef"><b>Definition:</b> <a href="../../dc/dfd/SetInt_8java_source.html#l00067">SetInt.java:67</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_a43c073fe9f5a36241c475a2bc8736800_html_a43c073fe9f5a36241c475a2bc8736800"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a43c073fe9f5a36241c475a2bc8736800.html#a43c073fe9f5a36241c475a2bc8736800">nars.language.CompoundTerm.isCommutative</a></div><div class="ttdeci">boolean isCommutative()</div><div class="ttdoc">Check if the order of the components matters. </div><div class="ttdef"><b>Definition:</b> <a href="../../d5/d0e/CompoundTerm_8java_source.html#l00338">CompoundTerm.java:338</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_aa212451310e63f528feef0782ee2f47d_html_aa212451310e63f528feef0782ee2f47d"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_aa212451310e63f528feef0782ee2f47d.html#aa212451310e63f528feef0782ee2f47d">nars.io.Symbols.INTERSECTION_EXT_OPERATOR</a></div><div class="ttdeci">static final String INTERSECTION_EXT_OPERATOR</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00057">Symbols.java:57</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1ImageExt_afb24af5cc6c098ad3f5d837fa383e69c_html_afb24af5cc6c098ad3f5d837fa383e69c"><div class="ttname"><a href="../../db/dbb/classnars_1_1language_1_1ImageExt_afb24af5cc6c098ad3f5d837fa383e69c.html#afb24af5cc6c098ad3f5d837fa383e69c">nars.language.ImageExt.make</a></div><div class="ttdeci">static Term make(List&lt; Term &gt; argList, Memory memory)</div><div class="ttdoc">Try to make a new ImageExt. </div><div class="ttdef"><b>Definition:</b> <a href="../../dd/d62/ImageExt_8java_source.html#l00078">ImageExt.java:78</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1IntersectionInt_html"><div class="ttname"><a href="../../d9/df4/classnars_1_1language_1_1IntersectionInt.html">nars.language.IntersectionInt</a></div><div class="ttdoc">A compound term whose intension is the intersection of the extensions of its components. </div><div class="ttdef"><b>Definition:</b> <a href="../../de/d9f/IntersectionInt_8java_source.html#l00031">IntersectionInt.java:31</a></div></div>
<div class="ttc" id="classnars_1_1io_1_1Symbols_ad1172815e3ed394951eb79fd92d173d4_html_ad1172815e3ed394951eb79fd92d173d4"><div class="ttname"><a href="../../dc/d71/classnars_1_1io_1_1Symbols_ad1172815e3ed394951eb79fd92d173d4.html#ad1172815e3ed394951eb79fd92d173d4">nars.io.Symbols.DIFFERENCE_EXT_OPERATOR</a></div><div class="ttdeci">static final String DIFFERENCE_EXT_OPERATOR</div><div class="ttdef"><b>Definition:</b> <a href="../../d5/da0/Symbols_8java_source.html#l00059">Symbols.java:59</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1Implication_html"><div class="ttname"><a href="../../da/db6/classnars_1_1language_1_1Implication.html">nars.language.Implication</a></div><div class="ttdoc">A Statement about an Inheritance relation. </div><div class="ttdef"><b>Definition:</b> <a href="../../d3/d1a/Implication_8java_source.html#l00031">Implication.java:31</a></div></div>
<div class="ttc" id="classnars_1_1language_1_1CompoundTerm_a963e8aef1163f4ed8c364b5e448deaff_html_a963e8aef1163f4ed8c364b5e448deaff"><div class="ttname"><a href="../../d0/dee/classnars_1_1language_1_1CompoundTerm_a963e8aef1163f4ed8c364b5e448deaff.html#a963e8aef1163f4ed8c364b5e448deaff">nars.language.CompoundTerm.clone</a></div><div class="ttdeci">abstract Object clone()</div><div class="ttdoc">Abstract clone method. </div></div>
</div><!-- fragment --></div><!-- contents -->
</div><!-- doc-content -->
<!-- start footer part -->
<div id="nav-path" class="navpath"><!-- id is needed for treeview function! -->
  <ul>
    <li class="navelem"><a class="el" href="../../dir_ed82ebcd34e530b246c6fd9032262140.html">aruntime</a></li><li class="navelem"><a class="el" href="../../dir_19496ddff8e6c0f2b6654287ecb1a472.html">src</a></li><li class="navelem"><a class="el" href="../../dir_db9c5934f797909f7296c2c2017f7fc9.html">main</a></li><li class="navelem"><a class="el" href="../../dir_6d74390eb6d6287951075e525bcb9bed.html">java</a></li><li class="navelem"><a class="el" href="../../dir_51a24984472456d47100350cd31f9a7c.html">nars</a></li><li class="navelem"><a class="el" href="../../dir_b4d9c5ced2c21fe4bf332c675d1d2c5f.html">language</a></li><li class="navelem"><a class="el" href="../../d5/d0e/CompoundTerm_8java.html">CompoundTerm.java</a></li>
    <li class="footer">Generated on Sun Jan 10 2016 18:03:58 for opennars by
    <a href="http://www.doxygen.org/index.html">
    <img class="footer" src="../../doxygen.png" alt="doxygen"/></a> 1.8.9.1 </li>
  </ul>
</div>
</body>
</html>
